Univalent completion

DSpace/Manakin Repository

Univalent completion
 
van den Berg, Benno; Moerdijk, Ieke
(2018) Mathematische Annalen, volume 371, issue 3-4, pp. 1337 - 1350
(Article)
Abstract
We show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration.
Download/Full Text
Open Access version via Utrecht University Repository Publisher version
 
Keywords: General Mathematics
DOI: https://doi.org/10.1007/s00208-017-1614-3
ISSN: 0025-5831
Publisher: Springer New York
(Peer reviewed)
 
 
See more statistics about this item