Reflections on a categorical foundations of mathematics (2008)

by J. Lambek, P. J. Scott