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