, 2011, Recent debate over categorical foundations, in G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, pp. 145-154.