Philosophia Mathematica (III), Vol. 13 No. 1 © Oxford University Press, 2005, all rights reserved
Categories in Context: Historical, Foundational, and Philosophical
* Department of Philosophy, University of Calgary Calgary, Alta. T2N 1N4 Canada elandry{at}ucalgary.ca
** Département de philosophie, Université de Montréal Montréal (Québec) H3C 3J7 Canada jean-pierre.marquis{at}umontreal.ca
The aim of this paper is to put into context the historical, foundational and philosophical significance of category theory. We use our historical investigation to inform the various category-theoretic foundational debates and to point to some common elements found among those who advocate adopting a foundational stance. We then use these elements to argue for the philosophical position that category theory provides a framework for an algebraic in re interpretation of mathematical structuralism. In each context, what we aim to show is that, whatever the significance of category theory, it need not rely upon any set-theoretic underpinning.