with Lambek, J. , 2011, Reflections on the categorical foundations of mathematics, in G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, pp. 171-186.