Univalent completion

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

zbMATH Keywords

groupoid actionhomotopy pullbackuniversal fibrationsimplicial groupoidunivalent fibration

Mathematics Subject Classification ID

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)

Univalence and completeness of Segal objects ⋮ The effective model structure and -groupoid objects

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