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