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

2.2.2 Examples of $2$-Categories

We now collect some examples of $2$-categories which arise naturally.

Example (Correspondences). Let $\operatorname{\mathcal{C}}$ be a category containing a pair of objects $X$ and $Y$. A correspondence from $X$ to $Y$ is an object $M \in \operatorname{\mathcal{C}}$ together with a pair of morphisms $X \xleftarrow {f} M \xrightarrow {g} Y$ in $\operatorname{\mathcal{C}}$. The correspondences from $X$ to $Y$ can be regarded as the objects of a category $\operatorname{\mathcal{M}}_{X,Y}$, where a morphism from $(M,f,g)$ to $(M',f',g')$ in $\operatorname{\mathcal{M}}_{X,Y}$ is given by a morphism $u: M \rightarrow M'$ for which the diagram

\[ \xymatrix { & M \ar [dd]^{u} \ar [dr]^{ g } \ar [dl]_{f} & \\ X & & Y \\ & M' \ar [ul]^{f'} \ar [ur]_{g'} & } \]


Assume now that the category $\operatorname{\mathcal{C}}$ admits fiber products. We can then construct a $2$-category $\operatorname{Corr}(\operatorname{\mathcal{C}})$ as follows:

  • The objects of $\operatorname{Corr}(\operatorname{\mathcal{C}})$ are the objects of $\operatorname{\mathcal{C}}$.

  • For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, we take $\underline{\operatorname{Hom}}_{ \operatorname{Corr}(\operatorname{\mathcal{C}})}(X,Y)$ to be the category $\operatorname{\mathcal{M}}_{X,Y}$; in particular, $1$-morphisms from $X$ to $Y$ in the category $\operatorname{Corr}(\operatorname{\mathcal{C}})$ can be identified with correspondences from $X$ to $Y$.

  • For every triple of objects $X,Y,Z \in \operatorname{\mathcal{C}}$, the composition law

    \[ \circ : \underline{\operatorname{Hom}}_{\operatorname{Corr}(\operatorname{\mathcal{C}})}( Y, Z) \times \underline{\operatorname{Hom}}_{\operatorname{Corr}(\operatorname{\mathcal{C}})}( X, Y) \rightarrow \underline{\operatorname{Hom}}_{ \operatorname{Corr}(\operatorname{\mathcal{C}})}( X, Z ) \]

    is given on objects by the construction $(N, M) \mapsto M \times _{Y} N$.

  • For every object $X \in \operatorname{\mathcal{C}}$, the identity $1$-morphism from $X$ to itself in $\operatorname{\mathcal{C}}$ is given by the correspondence $X \xleftarrow { \operatorname{id}_ X } X \xrightarrow { \operatorname{id}_ X} X$, and the unit constraint $\upsilon _{X}: X \times _{X} X \rightarrow X$ is the map given by projection onto either factor.

  • For every triple of composable $1$-morphisms

    \[ W \xrightarrow {M} X \xrightarrow {N} Y \xrightarrow {P} Z \]

    in $\operatorname{Corr}(\operatorname{\mathcal{C}})$, the associativity constraint $\alpha _{P,N,M}: P \circ (N \circ M) \Rightarrow (P \circ N) \circ M$ is the canonical isomorphism of iterated fiber products $(M \times _{X} N) \times _{Y} P \simeq M \times _{X} (N \times _{Y} P)$.

We will refer to $\operatorname{Corr}(\operatorname{\mathcal{C}})$ as the $2$-category of correspondences in $\operatorname{\mathcal{C}}$.

Remark Let $\operatorname{\mathcal{C}}$ be a category which admits finite limits, and let $\mathbf{1}$ denote the final object of $\operatorname{\mathcal{C}}$. Then the endomorphism category $\underline{\operatorname{End}}_{ \operatorname{Corr}(\operatorname{\mathcal{C}}) }( \mathbf{1} )$ can be identified with the category $\operatorname{\mathcal{C}}$ itself, equipped with the cartesian monoidal structure of Example

Example (Bimodules). We define a $2$-category $\mathrm{Bimod}$ as follows:

  • The objects of $\mathrm{Bimod}$ are associative rings.

  • For every pair of associative rings $A$ and $B$, we take $\underline{\operatorname{Hom}}_{\mathrm{Bimod}}( B, A)$ to be the category whose objects are $A$-$B$ bimodules: that is, abelian groups $M = {}_{A}^{}M_{B}$ equipped with commuting actions of $A$ on the left and $B$ on the right.

  • For every triple of associative rings $A$, $B$, and $C$, we take the composition law

    \[ \underline{\operatorname{Hom}}_{\mathrm{Bimod}}( B, A) \times \underline{\operatorname{Hom}}_{\mathrm{Bimod}}( C,B ) \rightarrow \underline{\operatorname{Hom}}_{\mathrm{Bimod}}( C, A) \]

    to be the relative tensor product functor

    \[ ( M, N ) \mapsto M {\otimes _{B}} N \]
  • For every associative ring $A$, we take the identity object of $\underline{\operatorname{Hom}}_{\mathrm{Bimod}}( A, A)$ to be the ring $A$ (regarded as a bimodule over itself) and the unit constraint $\upsilon _{A}: A \otimes _{A} A \xrightarrow {\sim } A$ is the map given by $\upsilon _{A}(x \otimes y) = xy$.

  • For every quadruple of associative rings $A$, $B$, $C$, and $D$ equipped with bimodules $M = {}_{A}^{}M_ B$, $N = {}_{B}^{}N_ C$, and $P = {}_{C}^{}P_ D$, we define the associativity constraint

    \[ \alpha _{M,N,P}: M \otimes _{B} (N \otimes _{C} P) \xRightarrow {\sim } ( M \otimes _{B} N) \otimes _{C} P \]

    to be the isomorphism characterized by the identity $\alpha _{M, N, P}(x \otimes (y \otimes z)) = (x \otimes y) \otimes z$.

Example (Delooping a Monoidal Category). Let $\operatorname{\mathcal{C}}$ be a monoidal category. We define a $2$-category $B\operatorname{\mathcal{C}}$ as follows:

  • The $2$-category $B\operatorname{\mathcal{C}}$ has a single object, which we will denote by $X$.

  • The category $\underline{\operatorname{Hom}}_{B\operatorname{\mathcal{C}}}(X,X)$ is the category $\operatorname{\mathcal{C}}$.

  • The composition functor

    \[ \circ : \underline{\operatorname{Hom}}_{B\operatorname{\mathcal{C}}}(X,X) \times \underline{\operatorname{Hom}}_{B\operatorname{\mathcal{C}}}(X,X) \rightarrow \underline{\operatorname{Hom}}_{B\operatorname{\mathcal{C}}}(X,X) \]

    is the tensor product functor $\otimes : \operatorname{\mathcal{C}}\times \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{C}}$.

  • The identity morphism $\operatorname{id}_{X} \in \underline{\operatorname{Hom}}_{B\operatorname{\mathcal{C}}}( X, X)$ is the unit object $\mathbf{1} \in \operatorname{\mathcal{C}}$.

  • The associativity and unit constraints of $B\operatorname{\mathcal{C}}$ are the associativity and unit constraints for the monoidal structure on $\operatorname{\mathcal{C}}$.

We will refer to the $2$-category $B \operatorname{\mathcal{C}}$ as the delooping of $\operatorname{\mathcal{C}}$. Note that $B\operatorname{\mathcal{C}}$ is strict as a $2$-category if and only if the monoidal structure on $\operatorname{\mathcal{C}}$ is strict (in which case we recover the delooping construction of Example The construction $\operatorname{\mathcal{C}}\mapsto B \operatorname{\mathcal{C}}$ induces a bijection

\[ \{ \text{Monoidal Categories $\operatorname{\mathcal{C}}$} \} \xrightarrow {\sim } \{ \text{$2$-Categories $\operatorname{\mathcal{E}}$ with $\operatorname{Ob}(\operatorname{\mathcal{E}}) = \{ X \} $} \} \]

which can be viewed as an equivalence of categories (see Remark

Remark Let $M$ be a monoid, which we view as a (strict) monoidal category having only identity morphisms. Then the $2$-category $BM$ of Example can be identified with the ordinary category $BM$ appearing in Remark