この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "圏論"
圏論的論理学は、直観主義的論理のために型理論に基づいて定義された。この分野はさらに関数型プログラミングの理論および領域理論に応用されている。これらは全て、ラムダ計算の非構文的な記述として適用されたデカルト閉圏を背景としている。圏論的言語を用いることで、関連する分野が厳密に、(抽象的な意味で)何を共有しているのかを明らかにすることができる。
代数的位相幾何学では空間の連続写像そのものよりも、そのホモトピー類を考えたほうがよいことがある。これは対応する圏を「変形」してホモトピー類を射として採用することにより圏論的に定式化できる。そこで、複体の射や位相線形環の準同型についてもこのような圏の変形を見いだし理解することが 20 世紀後半におけるほかの種類の「幾何学」の大きな問題意識となった。
20 世紀の半ば以降アレクサンドル・グロタンディークらによって代数幾何学の圏論的な定式化が追求された。
正標数体上の数論幾何や、非可換環が「図形」を表していると考える非可換幾何などの非標準的な「幾何学」は、幾何学的な関手の構成可能性をもってそう名乗っている、という側面もある。
参考文献^ Maclane, Saunders; S.マックレーン. (2012). Kenron no kiso. Hiroyuki Miyoshi, Osamu Takaki, 三好 博之., 高木 理.. T?ky?: Maruzenshuppan. .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 978-4-621-06324-8. OCLC 809499549. https://www.worldcat.org/oclc/809499549
^ Eilenberg, Samuel; MacLane, Saunders (1942). “Group Extensions and Homology”. Annals of Mathematics 43 (4): 757?831. doi:10.2307/1968966. ISSN 0003-486X. https://www.jstor.org/stable/1968966.
^ Eilenberg, Samuel; MacLane, Saunders (1945). “General Theory of Natural Equivalences”. Transactions of the American Mathematical Society 58 (2): 231?294. doi:10.2307/1990284. ISSN 0002-9947. https://www.jstor.org/stable/1990284.
^ a b Leinster, Tom (2014). Basic category theory. Cambridge: Cambridge University Press. ISBN 978-1-107-36006-8. OCLC 886649936. https://www.worldcat.org/oclc/886649936
関連文献
竹内外史『層・圏・トポス 現代的集合像を求めて』日本評論社、1978年1月。ISBN 4-535-78109-5。
大熊正『圏論(カテゴリー)』槙書店〈数学選書〉、1979年5月。ISBN 4-8375-0457-4。
清水義夫『圏論による論理学 高階論理とトポス』東京大学出版会、2007年12月。ISBN 978-4-13-012057-9。
斎藤毅:「数学原論」、東京大学出版会、ISBN 978-4130639040(2020年). ※ 本書は数学を圏論により記述した、とある。
Steve Awodey, 前原 和寿 (訳): 「圏論 原著第2版」、共立出版、ISBN 978-4320111158(2015年9月19日)。
圏論の歩き方委員会 (編):「圏論の歩き方」、日本評論社、ISBN 978-4535787209(2015年9月10日)。
応用
Chris Heunen: "Categorical Quantum Models and Logics", Amsterdam Univ Press, ISBN 978-9085550242 (2009).
David I. Spivak: "Category Theory for the Sciences", The MIT Press, ISBN 978-0262028134 (2014).