Univalent completion
From MaRDI portal
Publication:1659918
DOI10.1007/s00208-017-1614-3zbMath1400.55007arXiv1508.04021OpenAlexW3037167746WikidataQ59481694 ScholiaQ59481694MaRDI QIDQ1659918
Ieke Moerdijk, Benno van den Berg
Publication date: 23 August 2018
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1508.04021
Simplicial sets and complexes in algebraic topology (55U10) Categorical semantics of formal languages (18C50) Classification of fiber spaces or bundles in algebraic topology (55R15)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Univalence in locally Cartesian closed categories
- The homotopy theory of type theories
- Homotopy Type Theory: Univalent Foundations of Mathematics
- W-types in homotopy type theory
- Univalence for inverse diagrams and homotopy canonicity
- The univalence axiom for elegant Reedy presheaves
This page was built for publication: Univalent completion