Reflections on the categorical foundations of mathematics

2011

Joachim Lambek, Philip J. Scott

in: Foundational theories of classical and constructive mathematics, Berlin,