Category theory as an autonomous foundation
From MaRDI portal
Publication:4919635
DOI10.1093/PHILMAT/NKR024zbMATH Open1270.18001OpenAlexW2169453831MaRDI QIDQ4919635FDOQ4919635
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
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
Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Foundations, relations to logic and deductive systems (18A15)
Cited In (10)
- Arithmetic, set theory, reduction and explanation
- Category theory is a contentful theory
- Categorical foundations and mathematical practice
- Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
- Foundations of unlimited category theory: what remains to be done
- A meaning explanation for HoTT
- What we talk about when we talk about numbers
- Title not available (Why is that?)
- Abstractionist categories of categories
- 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)
