alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_dとワヘイヘイの後輩
1758pv 10 -
表現可能関手とは普遍性のことである
5891pv 9 -
alg_d「全ての概念入門」
11414pv 29 1 user 80
-
alg_dスマブラまとめ
1050pv -
いったい何ゴドゥーなんだ……
19303pv 58 5 users -
alg_d「圏のことなんか忘れて圏論しよう」
8525pv 4 -
随伴がなんなのか説明を試みる
15202pv 21 1 user -
f^-1と∪, ∩の交換と圏論について
13851pv 60 3 users -
2016年9月2日のまーれまれ
2453pv 2 -
2016年7月13日のalg_d
1263pv 7 -
圏論での積分(エンド)について
19660pv 43 4 users -
alg_d「公理追加型数学」
21398pv 18 -
alg_d「(なんか長いタイトルのやつ)」
25554pv 25 1 -
alg_d「R加群から学ぶ全ての概念」
18973pv 22 1 user -
alg_d
3839pv 8 -
アルゴドゥーTL
10381pv 30 1 user -
alg_d「選択公理をいかにして使ってしまうか」
13944pv 30 -
選択公理理解してません
3978pv 12 2 users -
Syepe
1528pv 4 -
2012年選択公理の日
10995pv 37 2 users -
2012年08月11日夜の数学クラスタ
1993pv 3 -
phase__tr (alg_cI) について
1672pv 3