[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
8(2): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)14:46 ID:S5Jl1CaY(6/44) AAS
層とトポスと直観論理と強制法で連続体仮説
外部ﾘﾝｸ:sites.google.com
筑波大学 数理物質系数学域助教竹内耕太
外部ﾘﾝｸ:sites.google.com
category_seminar_3 企画 「圏論への招待」2012
外部ﾘﾝｸ:sites.google.com
3日目 「トポスとは何か：圏論的視点での強制法」：佐藤桂 - Kota Takeuchi:
(抜粋)
例えば、ある圏Cから集合の圏Setへの（反変）関手圏C＾は（関数環が値域の構造を反映するのと同じく）集合の圏の構造（これは古典論理）を反映しつつも似て非なるトポス（これ直観論理）となります。
ところで、この圏を位相空間Xの開集合系のなす圏O(X)とすれば、この関手圏はその位相空間X上の前層の圏O(X)＾になりますが、幾何学ではこの圏を“絞り込んだ”圏である層の圏Sh（X）を使います。
省11
9(1): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)14:47 ID:S5Jl1CaY(7/44) AAS
ああ、ばかのプロ固定が来た（＾＾；
10(1): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)14:48 ID:S5Jl1CaY(8/44) AAS
ほんと、小学生程度の学力しかないやつ（＾＾；
11(1): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)14:48 ID:S5Jl1CaY(9/44) AAS
わけのわからん質問をする（＾＾；
上下前次1-新書関写板覧索設栞歴
あと 705 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.007s