Reflections on a categorical foundations of mathematics

by J. Lambek , P. J. Scott