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