Abstract

In this paper I argue that category theory ought to be seen as providing the language for mathematical discourse. Against foundational approaches, I argue that there is no need to reduce either the content or structure of mathematical concepts and theories to the constituents of either the universe of sets or the category of categories. I assign category theory the role of organizing what we say about the content and structure of both mathematical concepts and theories. Insofar, then, as the structuralist sees mathematics as talking about structures and their morphology, I contend that category theory furnishes a framework for mathematical structuralism