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

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


View Item 1 as PDF

Statistics Cite
1 tag refers to this tag

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

You can also use the contact form below: