[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
597(1): 2021/02/17(水)07:22 ID:9fTMgvJq(3/7) AAS
>>596
むしろ、トポスじゃね？
「選択公理が成り立たないような集合論のモデルもある景の上の層の圏として実現できる。こうして構成される集合論のモデルのうちには排中律が成り立たないような数学的直観主義的モデルも自然に現れる。」
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
トポス (数学)
トポス（topos）とは、位相空間上の層のなす圏を一般化した概念である。アレクサンドル・グロタンディークによるヴェイユ予想解決に向けた代数幾何学の変革の中で、数論的な図形（スキーム）の上で有意義なホモトピー・コホモロジー的量が定義できる細かい「位相」を考えるために導入された。 その後数理論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった。
省9
601: 2021/02/17(水)07:38 ID:mkFOjzrY(4/23) AAS
>>597
直観主義論理のハイティング代数が位相構造と同じってことも
知らんような素人がトポスとかいくらいっても空しいだけ
集合Aにとっての「トポス」はもうなくなったよｗ
外部ﾘﾝｸ:ja.wikipedia.org
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.052s