Kerodon

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

Warning 2.1.6.10. We will not be consistent in our usage of Notation 2.1.6.9. For example, if $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ are symmetric monoidal categories (), then we will sometimes write $\operatorname{Fun}^{\otimes }(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ to denote the category of symmetric monoidal functors from $\operatorname{\mathcal{C}}$ to $\operatorname{\mathcal{D}}$ (which is a full subcategory of the category of monoidal functors from $\operatorname{\mathcal{C}}$ to $\operatorname{\mathcal{D}}$ defined in Notation 2.1.6.9).