Kerodon

Warning 2.1.4.15. The analogue of Example 2.1.4.14 for nonunital lax monoidal functors is false. The notion of nonunital lax monoidal functor is not self-opposite: in general, there is no simple relationship between the categories $\operatorname{Fun}^{\operatorname{lax}}_{\operatorname{nu}}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$ and $\operatorname{Fun}^{\operatorname{lax}}_{\operatorname{nu}}( \operatorname{\mathcal{C}}^{\operatorname{op}}, \operatorname{\mathcal{D}}^{\operatorname{op}} )$.