
V-alg-d(正規版)
@alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
ロイヤルリムジンはEX-ARMを応援しています
2007 pv 8 1 user
-
alg_dとワヘイヘイの後輩
496 pv 3
-
2020年alg_dスマブラその他
256 pv 1
-
2020年alg_dシュルク
300 pv 1
-
2020年alg_dパックマン
219 pv 1
-
2020年alg_dの先端まとめ
196 pv 1
-
黒の数学者の珈琲活動
813 pv 10
-
表現可能関手とは普遍性のことである
2126 pv 5
-
alg_d「#豊穣圏は射が取れないからクソ」
2131 pv 3
-
天然ガスが出たー! KING OF PRISM SSS第4話まとめ
5704 pv 13
-
alg_d「全ての概念入門」
6628 pv 29 1 user 2
-
alg_dスマブラまとめ
443 pv
-
ark184「16人の雀士」
1425 pv 4
-
alg_d「高次元圏入門」
4418 pv 20 1 user
-
【2018GW】何も決まっていないオフ会
3535 pv 7
-
-
2018年4月14日のルール追加
2273 pv 4
-
モノイダル関手と豊穣圏について概説
2969 pv 5
-
2^κ-κ=2^κを示せ
11057 pv 32 1 user
-
κ+κ=κの証明、どこに選択公理を使っている?
5610 pv 30
-
2017年11月12日のルール追加
1671 pv 6
-
InterげんがくTeichmüller理論
9327 pv 80 1 user
-
第十回関西すうがく徒のつどい ルール追加編
1378 pv 1
-
alg_d「圏のことなんか忘れて圏論しよう」
5375 pv 4
-
【2017GW】何も決まっていないオフ会
2319 pv 4