Repository | Book | Chapter
(2011) Foundational theories of classical and constructive mathematics, Dordrecht, Springer.
The proposal by Shapiro (2009, p. 76) "to sharpen the battle lines a little" around categorical philosophy and foundations for mathematics suggests also extending the lines to include the original publications by mathematicians William Lawvere (1963, 1964, 1966) and Saunders Mac Lane (1986, 1998).
Publication details
DOI: 10.1007/978-94-007-0431-2_7
Full citation:
McLarty, C. (2011)., Recent debate over categorical foundations, in G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, pp. 145-154.
This document is unfortunately not available for download at the moment.