Category theory as an autonomous foundation

DOI10.1093/PHILMAT/NKR024MaRDI QIDQ4919635zbMATH OpenOpenAlexFDO

Authors Øystein Linnebo, Richard Pettigrew

Publication date 15 May 2013

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/nkr024

zbMATH Keywords

category-theoretical approachfoundation for mathematicsmathematical theories

Mathematics Subject Classification ID

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

Recommendations

• Category theory is a contentful theory
• Foundations of unlimited category theory: what remains to be done
• Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
• On three arguments against categorical structuralism
• Categorical foundations and mathematical practice

Cited in

(12)

• What we talk about when we talk about numbers
• A meaning explanation for HoTT
• Arithmetic, set theory, reduction and explanation
• Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
• Category theory is a contentful theory
• Abstractionist categories of categories
• scientific article; zbMATH DE number 1136106 (Why is no real title available?)
• Foundations of unlimited category theory: what remains to be done
• Categorical foundations and mathematical practice
• Set-theoretic foundations
• Mathematical pluralism and indispensability
• What set theory could not be about

This page was built for publication: Category theory as an autonomous foundation

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