-
表現可能関手とは普遍性のことである
5912pv 9 -
モノイダル関手と豊穣圏について概説
4621pv 5 -
κ+κ=κの証明、どこに選択公理を使っている?
7658pv 30
-
2018年圏論ツイート初め
5094pv 17 -
「Xがススリン線のときX^2はc.c.c.でない」という命題と選択公理
2587pv 9 -
随伴がなんなのか説明を試みる
15212pv 21 1 user -
位相空間論は良いものだぞ 何しろ入門書読み終えたらその日から論文読むフェイズに入れる
10399pv 35 2 users -
圏論での積分(エンド)について
19673pv 43 4 users -
alg_dによる「選択公理⇒Zornの補題」の概略
12689pv 63 2 users -
f^-1と∪, ∩の交換と圏論について
13883pv 60 3 users -
@alg_d 先生によるformal category theory入門
9442pv 4 1 user -
「任意の実数の集合がLebesgue可測」 without Choice
6478pv 41 2 users -
また知らぬ間に選択公理を使っている箇所が発覚してしまった。死のう
5172pv 28 -
Lebesgue可測な集合の階層を巡る探求
8622pv 30 4 users 3 -
【基礎の公理】∈の無限降下列を作るには従属選択公理ではなく可算選択公理があればよいか?
6885pv 39 1 user 1 -
集合論の無矛盾性と巨大基数
18809pv 41 4 users 2 -
早朝四時の0次元類体論講義
3121pv 7 1 user -
食パンの耳「関数解析再入門」
3102pv 5 -
∀x¬(F(x)∈x) となるようなFを構成しなさい
2443pv 15 -
クラスありの拡張言語が生の集合論と証明能力が変わらない
9161pv 12 1 user -
直観主義,背理法と否定の導入
16149pv 33 1 user -
Pmax
4032pv 18 -
無限公理を否定したとき,選択公理は証明可能か?
10565pv 23 1 user -
Fermatの最終定理と選択公理
9664pv 22 1 user