Kerodon

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

Remark 7.6.6.10. In the situation of Proposition 7.6.6.9, we can replace $(2)$ by either of the following a priori weaker conditions:

$(2')$

The $\infty $-category $\operatorname{\mathcal{C}}$ admits pullbacks.

$(2'')$

The $\infty $-category $\operatorname{\mathcal{C}}$ admits equalizers.

See Corollary 7.6.2.30 and 7.6.4.25.