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

Remark Let $\mathrm{MonCat}$ denote the ordinary category whose objects are monoidal categories and whose morphisms are monoidal functors (that is, the underlying category of the strict $2$-category $\mathbf{MonCat}$ of Example Then the construction $\operatorname{\mathcal{C}}\mapsto B\operatorname{\mathcal{C}}$ determines a fully faithful embedding from $\mathrm{MonCat}$ to the category $\operatorname{2Cat}$ of Definition, which fits into a pullback diagram

\[ \xymatrix@R =50pt@C=50pt{ \mathrm{MonCat} \ar [r]^-{ \operatorname{\mathcal{C}}\mapsto B\operatorname{\mathcal{C}}} \ar [d] & \operatorname{2Cat}\ar [d]^{ \operatorname{\mathcal{C}}\mapsto \operatorname{Ob}(\operatorname{\mathcal{C}}) } \\ \{ \ast \} \ar [r] & \operatorname{Set}; } \]

here $\ast = \{ X \} $ denotes a set containing a single fixed object $X$. Similarly, the ordinary category of monoidal categories and lax monoidal functors can be regarded as a full subcategory of $\operatorname{2Cat}_{\operatorname{Lax}}$.