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.