nLab
foundations and philosophy

The boundary between philosophical and logical foundational studies of mathematics is very unclear indeed – one has only to think of Russell’s part in Principia Mathematica. For a discussion of more obviously logical foundational aspects of category theory see foundations.

To be done

Philosophical papers

Jean-Pierre Marquis, 1995, Category Theory and the Foundations of Mathematics: Philosophical Excavations. Synthese 103 (3).

Jean-Pierre Marquis, 2008, From a Geometrical Point of View

Steve Awodey, 2004, An Answer to Hellman’s Question: “Does Category Theory Provide a Foundation for Mathematical Structuralism?”

Ralph Krömer, 2007, Tool and Object: A History and Philosophy of Category Theory

Colin McLarty, 2005, Learning from Questions on Categorical Foundations

Colin McLarty, 2004, ‘Exploring Categorical Structuralism’, Philosophia Mathematica, 12, 37–53.

Revised on December 1, 2013 20:31:58 by Tim Porter (2.26.40.247)