21/06/16 23:57:55.09 gpkuWhQq.net
>>105
>圏論馬鹿ってそういう数学のセンスのない奴の集まり
おサルさ、違うと思うよ
圏論は、高階論理 と繋がっているんだ
それが、大きな魅力の一つだと思うよw
（参考）
URLﾘﾝｸ(staff.fnwi.uva.nl)
トポスと高階論理
Taichi Uemura (@t uemura669101)
2018 年 12 月 9 日
この文書の目的はトポスの圏論的性質を見る前に高階論
理との関連を与え、いくつかの性質を高階論理を使って簡潔に示そうというものである。
高階論理は大雑把に言うと部分集合や部分集合の集合を量化できる論理である。トポスが高階論理の意味論
を与えることもよく知られている。
URLﾘﾝｸ(www.math.mi.i.nagoya-u.ac.jp)
トポス理論と圏論的論理学への誘い
荒武 永史
京都大学大学院理学研究科
数学・数理解析専攻 数理解析系 博士後期課程 3 回
（日本学術振興会特別研究員 DC.）
2019 年 12 月 6 日
@数学基礎論若手の会 2019 in 岡崎
URLﾘﾝｸ(ja.wikipedia.org)
圏論
歴史
1950年代から 1960年代にかけてこの理論は、ホモロジー代数における様々な計算の抽象的な定式化を取り込むことによって、続いて、集合論に基づく定式化では不十分だった代数幾何学の公理化を与える言葉として進展した。さらに一般的な圏論、つまり、意味論的な柔軟性をもち高階論理との親和性があるようなより現代的な普遍的代数が発展し、現在では数学全体を通して応用されている。
トポスと呼ばれる特別な種類の圏は、数学基礎論としての公理的集合論に取って代わることすら可能である。
(引用終り)
以上