Exploring Categorical Structuralism

DOI10.1093/PHILMAT/12.1.37MaRDI QIDQ4470295zbMATH OpenOpenAlexWikidataFDO

Authors Colin McLarty

Publication date 22 June 2004

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/ed86ebb2597cf781b5d5e1c39796bb85aabdc848

zbMATH Keywords

category theorytopos theoryZermelo-Fraenkel set theory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Set theory (03E99) Foundations, relations to logic and deductive systems (18A15) Topoi (18B25)

Recommendations

• Categories without structures
• Sets, categories and structuralism
• Learning from Questions on Categorical Foundations
• From sets to types, to categories, to sets
• Structuralism and category theory in the contemporary philosophy of mathematics

Cited in

(29)

• On three arguments against categorical structuralism
• Univalent foundations as structuralist foundations
• Comparing material and structural set theories
• Exploring mathematical objects from custom-tailored mathematical universes
• A categorical reading of the numerical existence property in constructive foundations
• Objectivity and truth in mathematics: a sober non-Platonist perspective
• Sets, categories and structuralism
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Foundations and Applications: Axiomatization and Education
• Categories without structures
• NEITHER CATEGORICAL NOR SET-THEORETIC FOUNDATIONS
• THE GENETIC VERSUS THE AXIOMATIC METHOD: RESPONDING TO FEFERMAN 1977
• Naturality and Definability, I
• On the distinction between sets and classes: a categorical perspective
• From sets to types, to categories, to sets
• Enriched stratified systems for the foundations of category theory
• Recent debate over categorical foundations
• Reflections on the categorical foundations of mathematics
• Set-theoretic foundations
• How to be a structuralist all the way down
• Learning from Questions on Categorical Foundations
• What is categorical structuralism?
• To be is to be the object of a possible act of choice
• Set Theory and Structures
• Foundations for the Working Mathematician, and for Their Computer
• Categorial modal realism
• Changing the logic without changing the subject: the case of computability
• Structuralism and meta-mathematics
• What anti-realism in philosophy of mathematics must offer

This page was built for publication: Exploring Categorical Structuralism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4470295)