Axiomatic method and category theory
From MaRDI portal
Publication:1950303
DOI10.1007/978-3-319-00404-4zbMath1284.03007arXiv1210.1478OpenAlexW2129974277MaRDI QIDQ1950303
Publication date: 10 May 2013
Published in: Synthese Library (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1210.1478
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Methodology of mathematics (00A35) Foundations, relations to logic and deductive systems (18A15)
Related Items (7)
The future of mathematics in economics: a philosophically grounded proposal ⋮ Models of HoTT and the Constructive View of Theories ⋮ Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes ⋮ New perspectives on multilocus ancestry informativeness ⋮ Univalent Foundations of Mathematics and Paraconsistency ⋮ The Evil Twin: The Basics of Complement-Toposes ⋮ In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics
This page was built for publication: Axiomatic method and category theory