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 approachmathematical theoriesfoundation for mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) 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

(10)

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

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)