Towards a Categorical Foundation of Mathematics

Michael Makkai. Towards a Categorical Foundation of Mathematics. In Johann A. Makowsky, Elena V. Ravve, editors, Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18, 1995. Volume 11 of Lecture Notes in Logic, pages 153-190, Springer, 1995. [doi]

@inproceedings{Makkai95-0,
  title = {Towards a Categorical Foundation of Mathematics},
  author = {Michael Makkai},
  year = {1995},
  doi = {10.1007/978-3-662-22108-2_11},
  url = {https://doi.org/10.1007/978-3-662-22108-2_11},
  researchr = {https://researchr.org/publication/Makkai95-0},
  cites = {0},
  citedby = {0},
  pages = {153-190},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18, 1995},
  editor = {Johann A. Makowsky and Elena V. Ravve},
  volume = {11},
  series = {Lecture Notes in Logic},
  publisher = {Springer},
  isbn = {978-3-540-63994-7},
}