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
univalent universe
Last revised on July 9, 2022 at 14:54:21. See the history of this page for a list of all contributions to it.