Axiomatic method and category theory

DOI10.1007/978-3-319-00404-4zbMath1284.03007arXiv1210.1478OpenAlexW2129974277MaRDI QIDQ1950303

Andrei Rodin

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

zbMATH Keywords

category theoryaxiomatic methodphilosophy of mathematics

Mathematics Subject Classification ID

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