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