Parametrized higher category theory II: Universal constructions

We develop parametrized generalizations of a number of fundamental concepts in the theory of $\infty$-categories, including factorization systems, free fibrations, exponentiable fibrations, relative colimits and relative Kan extensions, filtered and sifted diagrams, and the universal constructions Ind and $P^Σ$.

No reviews yet.

No comments yet.