• Adjointness. We have an adjunction
    witnessed by a bijection of sets
    \[ \mathbf{Rel}^{\text{eq}}\webleft (R^{\mathrm{eq}},S\webright ) \cong \mathbf{Rel}\webleft (R,S\webright ), \]

    natural in $R\in \text{Obj}\webleft (\mathbf{Rel}^{\text{eq}}\webleft (A,B\webright )\webright )$ and $S\in \text{Obj}\webleft (\mathbf{Rel}\webleft (A,B\webright )\webright )$.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: