Remark 5.4.0.1. 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.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$