749 followers
RT @piano2683: toposとlogical functorの2-圏についてはToposes are monadic over categoriesという論文があるのは知ってるけど、ご存知の通り具体的な2-圏におけるcolimitを2-monadの一般論から調べるの…
RT @piano2683: toposとlogical functorの2-圏についてはToposes are monadic over categoriesという論文があるのは知ってるけど、ご存知の通り具体的な2-圏におけるcolimitを2-monadの一般論から調べるの…
toposとlogical functorの2-圏についてはToposes are monadic over categoriesという論文があるのは知ってるけど、ご存知の通り具体的な2-圏におけるcolimitを2-monadの一般論から調べるのはあんまり筋がよくないんですよね https://t.co/C9l4Zo8tgJ