Towards a categorical foundation of mathematics. (English) Zbl 0896.03051
Makowsky, Johann A. (ed.) et al., Logic colloquium ’95. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9–18, 1995. Berlin: Springer. Lect. Notes Log. 11, 153-190 (1998).
Reviewer: P.T.Johnstone (Cambridge)