CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS

DOI10.1017/S1755020312000147zbMath1329.18001WikidataQ115443889 ScholiaQ115443889MaRDI QIDQ4918378

Jean-Pierre Marquis

Publication date: 24 April 2013

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

abstraction in mathematicscategorical foundations of mathematicslogical and psychological priority

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)

Related Items

Univalent foundations as structuralist foundations, The scope of Gödel's first incompleteness theorem, Exploring mathematical objects from custom-tailored mathematical universes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Category theory and the foundations of mathematics: philosophical excavations.
• On weak higher dimensional categories. I: Part 1
• Modern algebra and the rise of mathematical structures
• The evolution of the concept of homeomorphism
• Tool and object. A history and philosophy of category theory
• La logique des topos
• Relating First-Order Set Theories and Elementary Toposes
• Homotopy theoretic models of identity types
• A Brief Introduction to Algebraic Set Theory
• The Road to Modern Logic—An Interpretation
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Abstract Sets, Abstract Spaces and General Analysis
• On weak higher-dimensional categories. I. 2
• On weak higher-dimensional categories. I: Part 3