Philosophia Mathematica 19 (3):227-254 (2011)
AbstractDoes category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy: logical, conceptual, and justificatory. Focusing on a categorical theory of sets, we argue that a strong case can be made for its logical and conceptual autonomy. Its justificatory autonomy turns on whether the objects of a foundation for mathematics should be specified only up to isomorphism, as is customary in other branches of contemporary mathematics. If such a specification suffices, then a category-theoretical approach will be highly appropriate. But if sets have a richer `nature' than is preserved under isomorphism, then such an approach will be inadequate.
Similar books and articles
On Three Arguments Against Categorical Structuralism.Makmiller Pedroso - 2009 - Synthese 170 (1):21 - 31.
Sets, Classes, and Categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
Foundations of Mathematics: Metaphysics, Epistemology, Structure.Stewart Shapiro - 2004 - Philosophical Quarterly 54 (214):16 - 37.
Category Theory: The Language of Mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
Added to PP
Historical graph of downloads
Citations of this work
Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.
Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.
On the Problem of Relation Without Relata.Aboutorab Yaghmaie - 2021 - Journal of Philosophical Investigations at University of Tabriz 14 (33):404-425.
References found in this work
Criteria of Identity and Structuralist Ontology.Hannes Leitgeb & James Ladyman - 2008 - Philosophia Mathematica 16 (3):388-396.
An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’.Steve Awodey - 2004 - Philosophia Mathematica 12 (1):54-64.
Structure in Mathematics and Logic: A Categorical Perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.
Does Category Theory Provide a Framework for Mathematical Structuralism?Geoffrey Hellman - 2003 - Philosophia Mathematica 11 (2):129-157.
Three Varieties of Mathematical Structuralism.Geoffrey Hellman - 2001 - Philosophia Mathematica 9 (2):184-211.