范畴论/参考文献
< 范畴论
- Adámek, Jiří, Herrlich, Horst, & Strecker, George E. (1990) 抽象与具体范畴. John Wiley & Sons. ISBN 0-471-60922-6.
- Barr, Michael 和 Wells, Charles (2012) 计算机科学的范畴论。
- ——— (2002) 拓扑斯、三元组和理论。 修订并更正了 Springer-Verlag 出版书籍（1983）的版本。
- Freyd, Peter J. (1964) 阿贝尔范畴。 纽约：Harper 和 Row。
- Goldblatt, R (1984) 拓扑斯：逻辑的范畴分析 对范畴的清晰介绍，特别强调了近期在逻辑中的应用。
- Hillman, Chris 范畴入门，对范畴论的正式介绍。
- Leinster, Tom (2004) 更高阶运算、更高阶范畴（伦敦数学学会讲义系列 298）。剑桥大学出版社。
- Martini, A.,Ehrig, H. 和 Nunes, D. (1996) 基础范畴论要素（柏林工业大学技术报告 96-5）
- Schalk, A. 和 Simmons, H. (2005) 四步轻松入门范畴论。 曼彻斯特大学数学逻辑硕士课程的一部分。
- Spivak, David I. (2013) 科学家的范畴论。
- Turi, Daniele (1996–2001) 范畴论讲义。 基于 Mac Lane (1998) 的内容。
- Awodey, Steven (2006). 范畴论（牛津逻辑指南 49）。牛津大学出版社。
- Borceux, Francis (1994). 范畴代数手册（数学及其应用百科全书 50-52）。剑桥大学出版社。
- Freyd, Peter J. & Scedrov, Andre, (1990). 范畴、寓言（北荷兰数学丛书 39）。北荷兰。
- Hatcher, William S. (1982). 数学的逻辑基础，第 2 版。Pergamon。第 8 章是对范畴论的独特介绍，作为一阶理论呈现。
- Lawvere, William, & Rosebrugh, Robert (2003). 数学集论. 剑桥大学出版社。
- Lawvere, William, & Schanuel, Steve (1997). 概念数学：范畴的入门. 剑桥大学出版社。
- Leinster, Tom, 基础范畴论，剑桥大学出版社，2014 年。
- McLarty, Colin (1991). 初等范畴、初等拓扑斯. 牛津大学出版社。
- Mac Lane, Saunders (1998). 工作数学家的范畴论. 第 2 版（数学研究生课本 5）。施普林格出版社。
- ——— 和 Garrett Birkhoff (1967). 代数。1999 年第 2 版的再版，Chelsea。 ISBN 0-8218-1646-2. 对该主题的介绍，明智地使用了范畴论概念，特别是交换图。
- May, Peter (1999). 代数拓扑简明教程. 芝加哥大学出版社，ISBN 0-226-51183-9.
- Pedicchio, Maria Cristina & Tholen, Walter (2004). 范畴基础（数学及其应用百科全书 97）。剑桥大学出版社。
- Pierce, Benjamin (1991). 计算机科学家的基础范畴论. 麻省理工学院出版社。
- Taylor, Paul (1999). 数学的实用基础. 剑桥大学出版社。介绍了范畴论与构造性数学之间的联系。
- 斯坦福哲学百科全书："范畴论" - 由 Jean-Pierre Marquis 撰写。包含大量参考书目。
- 范畴邮件列表主页, 包含大量资源列表。
- Baez, John, 1996,"n-范畴的故事。" 对更高阶范畴的非正式介绍。
- The catsters" 关于范畴论的 YouTube 频道。
- PlanetMath 上关于范畴论的文章
- 范畴、逻辑和物理学的基础，专门介绍在物理学基础中使用范畴和逻辑的网站。
- 交互式网页 ，在有限集范畴中生成范畴构造示例。由 Jocelyn Paine 编写。
- n-范畴咖啡馆，一个专注于更高阶范畴的集体博客。
- n-Lab wiki-lab，包含许多关于范畴论主题的简短文章。