alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_dとワヘイヘイの後輩
1759pv 10 -
表現可能関手とは普遍性のことである
5909pv 9 -
alg_d「全ての概念入門」
11419pv 29 1 user 80
-
alg_dスマブラまとめ
1051pv -
alg_d「圏のことなんか忘れて圏論しよう」
8545pv 4 -
随伴がなんなのか説明を試みる
15205pv 21 1 user -
2016年9月2日のまーれまれ
2453pv 2 -
2016年7月13日のalg_d
1264pv 7 -
圏論での積分(エンド)について
19670pv 43 4 users -
f^-1と∪, ∩の交換と圏論について
13868pv 60 3 users -
alg_d「公理追加型数学」
21423pv 18 -
alg_d「(なんか長いタイトルのやつ)」
25573pv 25 1 -
いったい何ゴドゥーなんだ……
19304pv 58 5 users -
alg_d「R加群から学ぶ全ての概念」
18977pv 22 1 user -
選択公理理解してません
3979pv 12 2 users -
Syepe
1528pv 4 -
2012年選択公理の日
10999pv 37 2 users -
alg_d「選択公理をいかにして使ってしまうか」
13946pv 30 -
2012年08月11日夜の数学クラスタ
1994pv 3 -
alg_d
3840pv 8 -
phase__tr (alg_cI) について
1673pv 3 -
アルゴドゥーTL
10386pv 30 1 user