Category theory and the foundations of mathematics: Philosophical excavations

Synthese 103 (3):421 - 447 (1995)
  Copy   BIBTEX

Abstract

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided into 5 sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory.

Author's Profile

Jean-Pierre Marquis
Université de Montréal

Analytics

Added to PP
2009-01-28

Downloads
763 (#19,473)

6 months
166 (#18,722)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?