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

Last revised on October 31, 2016 at 09:15:20. See the history of this page for a list of all contributions to it.