62 citations · 126 across the 28 of their papers we have counts for
1 paper · 1 filter
Benno van den Berg, Ieke Moerdijk
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.