  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^\Sigma$.
