Synthese 170 (1):21 - 31 (2009)

Authors
Makmiller Pedroso
Towson University
Abstract
Some mathematicians and philosophers contend that set theory plays a foundational role in mathematics. However, the development of category theory during the second half of the twentieth century has encouraged the view that this theory can provide a structuralist alternative to set-theoretical foundations. Against this tendency, criticisms have been made that category theory depends on set-theoretical notions and, because of this, category theory fails to show that set-theoretical foundations are dispensable. The goal of this paper is to show that these criticisms are misguided by arguing that category theory is entirely autonomous from set theory.
Keywords Set theory  Category theory  Foundation of mathematics  Categorical structuralism
Categories (categorize this paper)
DOI 10.1007/s11229-008-9346-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,304
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Naturalism in Mathematics.Penelope Maddy - 1997 - Oxford University Press.
What Numbers Could Not Be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
Category Theory.Steve Awodey - 2010 - Oxford University Press.

View all 21 references / Add more references

Citations of this work BETA

No Categorial Support for Radical Ontic Structural Realism.Vincent Lam & Christian Wüthrich - 2015 - British Journal for the Philosophy of Science 66 (3):605-634.

Add more citations

Similar books and articles

Category Theory: The Language of Mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
Sets, Classes, and Categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
Categories Without Structures.Andrei Rodin - 2011 - Philosophia Mathematica 19 (1):20-46.
The Uses and Abuses of the History of Topos Theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
What is Categorical Structuralism?Geoffrey Hellman - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer. pp. 151--161.
Category Theory as an Autonomous Foundation.Øystein Linnebo & Richard Pettigrew - 2011 - Philosophia Mathematica 19 (3):227-254.
(Math, Science, ?).M. Kary - 2009 - Axiomathes 19 (3):61-86.

Analytics

Added to PP index
2009-01-28

Total views
104 ( #87,782 of 2,330,071 )

Recent downloads (6 months)
3 ( #254,915 of 2,330,071 )

How can I increase my downloads?

Downloads

My notes