Parametrized higher category theory II: Universal constructions

Jay Shah

We develop parametrized generalizations of a number of fundamental concepts in the theory of $\infty$-categories, including factorization systems, free fibrations, exponentiable fi…