alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_d「ホモロジー代数非入門」
3217pv 2 -
ロイヤルリムジンはEX-ARMを応援しています
7371pv 9 1 user -
alg_dとワヘイヘイの後輩
1759pv 10
-
2020年alg_dスマブラその他
702pv 1 -
2020年alg_dシュルク
873pv 1 -
2020年alg_dパックマン
831pv 1 -
2020年alg_dの先端まとめ
551pv 1 -
黒の数学者の珈琲活動
5274pv 14 -
表現可能関手とは普遍性のことである
5909pv 9 -
alg_d「#豊穣圏は射が取れないからクソ」
5451pv 3 -
天然ガスが出たー! KING OF PRISM SSS第4話まとめ
8460pv 17 -
alg_d「全ての概念入門」
11419pv 29 1 user 80 -
alg_dスマブラまとめ
1051pv -
alg_d「高次元圏入門」
6418pv 20 1 user -
いったい何ゴドゥーなんだ……
19304pv 58 5 users -
ark184「16人の雀士」
2779pv 4 -
【2018GW】何も決まっていないオフ会
4690pv 7 -
2018年4月14日のルール追加
3360pv 4 -
モノイダル関手と豊穣圏について概説
4613pv 5 -
2chの数学徒を観察するトゥギャ
23170pv 32 1 user -
2^κ-κ=2^κを示せ
15511pv 33 1 user -
κ+κ=κの証明、どこに選択公理を使っている?
7657pv 30 -
2017年11月12日のルール追加
2703pv 6 -
InterげんがくTeichmüller理論
10887pv 80 1 user