Univalent completion
Publication date
2018-08-01
Authors
van den Berg, Benno
Moerdijk, Ieke
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
We show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration.
Keywords
General Mathematics
Citation
van den Berg, B & Moerdijk, I 2018, 'Univalent completion', Mathematische Annalen, vol. 371, no. 3-4, pp. 1337-1350. https://doi.org/10.1007/s00208-017-1614-3