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}}(\mathsf{Rel}^{\mathsf{dbl}}_{0})$, we have
\[ \mathbb {1}_{A} \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\chi _{A}(-_{1},-_{2}). \] -
•
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.
