Remark 5.6.1.5. The category of elements $\int ^{\operatorname{\mathcal{C}}} \mathscr {F}$ can be defined more generally when $\mathscr {F}: \operatorname{\mathcal{C}}^{\operatorname{op}} \rightarrow \mathbf{Cat}$ is a lax functor of $2$-categories. We will return to this point in ยง
(see Definition ).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$