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 Prove a Foundation for Mathematical Structuralism?”

Ralf 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 October 30, 2011 12:13:47 by Tim Porter (90.24.246.192)