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

Example (Enriched Categories as Lax Functors). Let $S$ be a set, and let $\operatorname{\mathcal{E}}_{S}$ denote the indiscrete category with object set $S$: that is, the objects of $\operatorname{\mathcal{E}}_{S}$ are the elements of $S$, and $\operatorname{Hom}_{\operatorname{\mathcal{E}}_{S}}(X,Y)$ is a singleton for every pair of elements $X,Y \in S$. Regard $\operatorname{\mathcal{E}}_{S}$ as a (strict) $2$-category having only identity $2$-morphisms (Example Let $\operatorname{\mathcal{C}}$ be a monoidal category, and let $B\operatorname{\mathcal{C}}$ be its delooping (Example Unwinding the definitions, we see that lax functors $F: \operatorname{\mathcal{E}}_{S} \rightarrow B \operatorname{\mathcal{C}}$ (in the sense of Definition can be identified with $\operatorname{\mathcal{C}}$-enriched categories having object set $S$ (in the sense of Definition