Categorical Theory of $(\mathrm{\infty },\omega )$-Categories

This text is dedicated to the development of the theory of $(\mathrm{\infty },\omega )$-categories. We present generalizations of standard results from category theory, such as the lax Grothendieck construction, the Yoneda lemma, lax (co)limits and lax Kan extensions, among others.