Categorical Theory of $(\infty,ω)$-Categories

Abstract

This text is dedicated to the development of the theory of $(\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.