alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_d「ホモロジー代数非入門」
3257pv 2 -
表現可能関手とは普遍性のことである
5917pv 9 -
モノイダル関手と豊穣圏について概説
4622pv 5
-
随伴がなんなのか説明を試みる
15223pv 21 1 user -
f^-1と∪, ∩の交換と圏論について
13901pv 60 3 users -
天才ぴあのん先生のネコでもわかるcategorical logic
5173pv 3 1 user -
位相空間への一般化は当然の一般化と言われ、圏への一般化は無意味な抽象化となじられる所以がわからない
15163pv 38 2 users 1 -
圏論での積分(エンド)について
19713pv 43 4 users -
となりの圏遊会
4875pv 25 -
佐藤桂「対数の存在について」
8612pv 12 1 user 2