  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.
