2015/08/17 by Benno van den Berg, Berg, Benno van den, Ieke Moerdijk +1
Mathematics · #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Finite Group Theory Research #Logic (math.LO) #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.1508.04021
openalex publication_date 2015/08/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We review the concept of a univalent fibration and show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration.