Kerodon

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

Remark 2.2.6.11. It is possible to consider a generalization of the twisting procedure of Construction 2.2.6.8 in which one modifies not only the composition law for $1$-morphisms of $\operatorname{\mathcal{C}}$, but also the choice of identity $1$-morphisms of $\operatorname{\mathcal{C}}$. Since we will not need this generalization, we leave the details to the reader.