A Kan fibration such that every other sufficiently small Kan fibration arises, up to equivalence, as a pullback.
See at
universal fibration of (infinity,1)-categories the section for infinity-groupoids
object classifier, the section in infinity-groupoids
Last revised on October 31, 2016 at 09:15:20. See the history of this page for a list of all contributions to it.