圏論的論理学は、 圏論 のツールと概念を数理論理学 の研究に応用する数学 の一分野です。また、理論計算機科学 との関連性でも注目されています。[ 1 ] 圏 で表現し、解釈を 関手 で表現します。圏論的枠組みは、論理的および型理論的 構成のための豊かな概念的背景を提供します。この分野は、1970 年頃からこのような形で認識されるようになりました。
参考文献 本 アブラムスキー、サムソン；ガベイ、ドヴ（2001）。論理と代数的方法 。コンピュータサイエンスにおける論理ハンドブック。第 5巻。オックスフォード大学出版局。ISBN 0-19-853781-6 。 Aluffi, Paolo (2009).代数学：第0章 （第1 版）. アメリカ数学会. pp. 18–20 . ISBN 978-1-4704-1168-8 。 Gabbay, DM; Kanamori, A.; Woods, J. 編 (2012). 20世紀における集合と拡張 . 論理学史ハンドブック 第 6巻. North-Holland. ISBN 978-0-444-51621-3 。 ケント、アレン；ウィリアムズ、ジェームズ G. (1990).コンピュータ科学技術百科事典 . マルセル・デッカー. ISBN 0-8247-2272-8 。 Barr, M. ; Wells, C. (1996).計算機科学のための圏論 （第2 版）. Prentice Hall. ISBN 978-0-13-323809-9 。ランベック、J. ;スコット、PJ (1988).高階圏論入門 . ケンブリッジ高等数学研究シリーズ. 第 7巻. ケンブリッジ大学出版局. ISBN 978-0-521-35653-4 。Lawvere, FW ; Rosebrugh, R. (2003). Sets for Mathematics . Cambridge University Press. ISBN 978-0-521-01060-3 。Lawvere, FW; Schanuel, SH (2009). Conceptual Mathematics: A First Introduction to Categories (2nd ed.). Cambridge University Press. ISBN 978-1-139-64396-2 。 画期的な論文
Lawvere, FW (1963年11月). 「代数理論の関数的意味論」 .米国科学アカデミー紀要 50 (5): 869–872 . Bibcode : 1963PNAS...50..869L . doi : 10.1073/pnas.50.5.869 . JSTOR 71935 . PMC 221940 . PMID 16591125 . — (1964 年 12 月) 「集合の圏の初等理論」米国科学アカデミー紀要 52 ( 6): 1506–11 . Bibcode : 1964PNAS...52.1506L . doi : 10.1073/pnas.52.6.1506 . JSTOR 72513 . PMC 300477 . PMID 16591243 . — (1971)。 「数量化子と層」。出演 : Du Congres International Des Mathematiciens Nice 1970 年 9 月 1 日～10 日。 Sous La Direction Du Comite D'organisation Du Congres 。ゴーティエ・ヴィラール。 pp. 1506–11 . OCLC 217031451。Zbl 0261.18010。
さらに読む マッカイ、マイケル ；レイエス、ゴンサロ E. (1977).一階述語論理 . 数学講義ノート. 第 611 巻. Springer. doi : 10.1007/BFb0066201 . ISBN 978-3-540-08439-6 。ランベック、J.、スコット、PJ（1988）。高階圏論入門 。ケンブリッジ高等数学研究シリーズ第 7巻。ケンブリッジ大学出版局。ISBN 978-0-521-35653-4 。 Jacobs, Bart (1999).カテゴリー論理と型理論 . 論理学と数学の基礎に関する研究. 第 141巻. North Holland, Elsevier. ISBN 0-444-50170-3 。 ファイバー圏に重点が置かれている。 ベル、ジョン・レーン （2001）。「 範疇論理の発展」。ガベイ、DM、ギュントナー、フランツ（編）。『哲学論理ハンドブック 』第12巻 （第2 版）。シュプリンガー。279-361頁。ISBN 978-1-4020-3091-8 。ジャン・ピエール侯爵。レイエス、ゴンサロ E. 「定言論理の歴史 1963 ～ 1977 年」ギャッベイ、金森＆ ウッズ 2012 689–800 ページ。 Awodey, Steve (2024年7月12日). 「カテゴリー論理」 .講義ノート .Lurie, Jacob . "Categorical Logic (278x)" .講義ノート .