Towards a Categorical Foundation of Mathematics-Reference-Cited by-同舟云学术

Towards a Categorical Foundation of Mathematics

Published:1998 Issue: Volume: Page:153-190
ISSN:1431-5459
Container-title:Logic Colloquium ’95
language:
Short-container-title:

Author:

Makkai M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-22108-2_11

Reference38 articles.

1. J.C. Baez and J. Dolan, Higher dimensional algebra and topological quantum field theory. Journal of Mathematical Physics 36(1995), no. 11, 60736105.

2. J.C. Baez and J. Dolan, n-Categories — Sketch of a Definition. Letter to Ross Street, Nov. 29, 1995; corrected version as of Dec. 3, 1995.

3. M. Barr, Respresentations of categories. J. Pure and Applied Algebra 41 (1986), 113–137.

4. J. Barwise, Back and forth thru infinitary logic. In: Studies in Model Theory, ed. M.D. Morley. MAA Studies in Mathematics, Vol. 8. The Mathematical Association of America, 1973; pp. 5–34.

5. J. Benabou, Introduction to bicategories. In: Lecture Notes in Math., no. 47, Springer Verlag, 1967; pp. 1–77.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abstraction, equality and univalence;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-07-31

2. Univalent Foundations and the Equivalence Principle;Synthese Library;2019

3. Set Theory and Structures;Synthese Library;2019

4. An introduction to univalent foundations for mathematicians;Bulletin of the American Mathematical Society;2018-03-05

5. A View from Space: The Foundations of Mathematics;The Map and the Territory;2018