alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_d「ホモロジー代数非入門」
3214pv 2 -
ロイヤルリムジンはEX-ARMを応援しています
7360pv 9 1 user -
alg_dとワヘイヘイの後輩
1757pv 10
-
2020年alg_dスマブラその他
698pv 1 -
2020年alg_dシュルク
870pv 1 -
2020年alg_dパックマン
825pv 1 -
2020年alg_dの先端まとめ
546pv 1 -
黒の数学者の珈琲活動
5272pv 14 -
表現可能関手とは普遍性のことである
5881pv 9 -
alg_d「#豊穣圏は射が取れないからクソ」
5438pv 3 -
天然ガスが出たー! KING OF PRISM SSS第4話まとめ
8445pv 17 -
alg_d「全ての概念入門」
11394pv 29 1 user 80 -
alg_dスマブラまとめ
1049pv -
ark184「16人の雀士」
2777pv 4 -
alg_d「高次元圏入門」
6408pv 20 1 user -
【2018GW】何も決まっていないオフ会
4687pv 7 -
2018年4月14日のルール追加
3359pv 4 -
モノイダル関手と豊穣圏について概説
4601pv 5 -
2^κ-κ=2^κを示せ
15499pv 33 1 user -
κ+κ=κの証明、どこに選択公理を使っている?
7654pv 30 -
2017年11月12日のルール追加
2701pv 6 -
InterげんがくTeichmüller理論
10882pv 80 1 user -
第十回関西すうがく徒のつどい ルール追加編
1752pv 1 -
alg_d「圏のことなんか忘れて圏論しよう」
8523pv 4