1 problem

Let $n\text{-}\operatorname{Cat}$ denote the category of $n$-categories, let $\operatorname{Surj}_{\omega}$ denote the class of $\omega$-surjective morphisms, and let…