The horizontal unit functor of $\mathsf{Rel}^{\mathsf{dbl}}$ is the functor
\[ \mathbb {1}^{\mathsf{Rel}^{\mathsf{dbl}}} \colon \mathsf{Rel}^{\mathsf{dbl}}_{0} \to \mathsf{Rel}^{\mathsf{dbl}}_{1} \]
of $\mathsf{Rel}^{\mathsf{dbl}}$ is the functor where
-
•
Action on Objects. For each $A\in \operatorname {\mathrm{Obj}}\webleft (\mathsf{Rel}^{\mathsf{dbl}}_{0}\webright )$, we have
\[ \mathbb {1}_{A} \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\chi _{A}\webleft (-_{1},-_{2}\webright ). \] -
•
Action on Morphisms. For each vertical morphism $f\colon A\to B$ of $\mathsf{Rel}^{\mathsf{dbl}}$, i.e. each map of sets $f$ from $A$ to $B$, the identity $2$-morphism
of $f$ is the inclusion
of Chapter 4: Constructions With Sets, Item 1 of Proposition 4.5.3.1.3.
