Proposition 8.5.13.1.1 (02XK): Sections in $\mathsf{Rel}$

Let $R\colon A\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}B$ be a relation.

The following conditions are equivalent:

1.
The relation $R$ is a section in $\mathsf{Rel}$.
2.
We have $R=\operatorname {\mathrm{Gr}}(f)$ for some surjective function $f\colon A\to B$.

Proof of Proposition 8.5.13.1.1.

Omitted.

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

You can also use the contact form below: