Kerodon

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

Remark 11.5.0.39. In the special case $\operatorname{\mathcal{C}}= [1]$, Proposition 11.6.0.19 reduces to Proposition 5.2.3.15. In the case $\operatorname{\mathcal{C}}= [n]$, it reduces to *** (see Variant 11.5.0.40).