alg-d @alg_d
あまり知られていませんが、実はトゥギャるのは選択公理なしで(ZFで)できます。
-
alg_d「ホモロジー代数非入門」
3271pv 2 -
表現可能関手とは普遍性のことである
5952pv 9 -
alg_d「#豊穣圏は射が取れないからクソ」
5469pv 3
-
alg_d「全ての概念入門」
11474pv 29 1 user 80 -
alg_d「高次元圏入門」
6437pv 20 1 user -
ark184「16人の雀士」
2787pv 4 -
モノイダル関手と豊穣圏について概説
4637pv 5 -
2chの数学徒を観察するトゥギャ
23222pv 32 1 user -
2^κ-κ=2^κを示せ
15561pv 33 1 user -
κ+κ=κの証明、どこに選択公理を使っている?
7689pv 30 -
InterげんがくTeichmüller理論
10916pv 80 1 user -
alg_d「圏のことなんか忘れて圏論しよう」
8658pv 4 -
収束列が取れるか。単射と全射から全単射が作れるか。
11798pv 64 4 users -
(祝)解析概論アニメ出演
34140pv 206 8 users 18 -
「Xがススリン線のときX^2はc.c.c.でない」という命題と選択公理
2598pv 9 -
随伴がなんなのか説明を試みる
15245pv 21 1 user -
f^-1と∪, ∩の交換と圏論について
13966pv 60 3 users -
数学クラスタによる大人のピタゴラスイッチ実況2017年
325751pv 255 28 users 297 -
ひらいずみセミナーと関西すうがく徒のつどい
5335pv 8 -
@alg_dがひたすら図式の計算をした回
6191pv 4 -
ark184「サークラなグラフ理論の話」(ヤバイ)
2669pv 6 -
超強引な1次元のn次空間ベクトル論法があって三次元金属と格闘する
56740pv 177 7 users 2 -
alg_dがルール追加大富豪に挑戦した話 ~革命したくない?~
33290pv 138 8 users 10 -
天才ぴあのん先生のネコでもわかるcategorical logic
5177pv 3 1 user -
位相空間論は良いものだぞ 何しろ入門書読み終えたらその日から論文読むフェイズに入れる
10428pv 35 2 users