Univalent Foundations and the Equivalence Principle

DOI10.1007/978-3-030-15655-8_6zbMath1528.03101arXiv2202.01892OpenAlexW2938420015MaRDI QIDQ6075424

Paige Randall North, Benedikt Ahrens

Publication date: 20 September 2023

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

Full work available at URL: https://arxiv.org/abs/2202.01892

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) 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
• Mathematical logic: proof theory, constructive mathematics. Abstracts fro the workshop held November 6--12, 2011.
• Isomorphism is equality
• The simplicial model of univalent foundations (after Voevodsky)
• Équivalence naturelle et formules logiques en théorie des catégories
• Cubical Type Theory: a constructive interpretation of the univalence axiom
• Displayed Categories
• Structuralism, Invariance, and Univalence
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Univalent categories and the Rezk completion

This page was built for publication: Univalent Foundations and the Equivalence Principle