nLab universal Kan fibration

Idea

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