Lecture Notes in Logic

Towards a Categorical Foundation of Mathematics

M. Makkai

Full-text: Open access

PDF File (3847 KB)

Chapter information

Source
Johann A. Makowsky, Elena V. Ravve, eds., Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 (Berlin: Springer-Verlag, 1998), 153-190

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.lnl/1235415906

Mathematical Reviews number (MathSciNet)
MR1678360

Zentralblatt MATH identifier
0896.03051

Rights
Copyright © 1998, Association for Symbolic Logic

Citation

Makkai, M. Towards a Categorical Foundation of Mathematics. Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995, 153--190, Springer-Verlag, Berlin, 1998. https://projecteuclid.org/euclid.lnl/1235415906


Export citation

Top

Association for Symbolic Logic

Lecture Notes in Logic
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?

More like this

+ See more