Category Theory as an Autonomous Foundation

DOI10.1093/philmat/nkr024zbMath1270.18001OpenAlexW2169453831MaRDI QIDQ4919635

Ø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

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

Related Items (6)

Set-theoretic foundations ⋮ Arithmetic, set theory, reduction and explanation ⋮ Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes ⋮ FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE ⋮ What we talk about when we talk about numbers ⋮ A meaning explanation for HoTT

This page was built for publication: Category Theory as an Autonomous Foundation