nLab universal Kan fibration

Idea

Idea

A Kan fibration such that every other sufficiently small Kan fibration arises, up to equivalence, as a pullback.

See at:

Last revised on July 9, 2022 at 10:54:21. See the history of this page for a list of all contributions to it.