Models of HoTT and the Constructive View of Theories

DOI10.1007/978-3-030-15655-8_9zbMath1528.03112OpenAlexW2793995378MaRDI QIDQ6075427

Andrei Rodin

Publication date: 20 September 2023

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/14434/1/MH1.pdf

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatorial realizability models of type theory
• Reflections on the revolution at Stanford
• Advances in proof-theoretic semantics
• On the idea of a general proof theory
• Axiomatic method and category theory
• A meaning explanation for HoTT
• The Oxford Handbook of Probability and Philosophy
• Homotopy Type Theory: Univalent Foundations of Mathematics
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Open Problems in Proof-Theoretic Semantics