Univalent completion

Open Access
Authors
Publication date 08-2018
Journal Mathematische Annalen
Volume | Issue number 371 | 3-4
Pages (from-to) 1337–1350
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
  • Faculty of Science (FNWI)
Abstract We show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration.
Document type Article
Language English
Published at https://doi.org/10.1007/s00208-017-1614-3
Downloads
Univalent completion (Final published version)
Permalink to this page
Back