$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Remark The ideas presented in this section are closely related to the work of Verity, who has proposed a simplicial framework for studying higher categories with noninvertible morphisms at all levels. We refer the reader to [MR2399898], [MR2450607], and [MR2342841] for Verity's work, and to [gagna2020equivalence] for a discussion of its relationship to the theory of $(\infty ,2)$-categories presented here.