We have a natural identification
\[ \left\{ \begin{gathered} \text{Monads in}\\ \text{$\boldsymbol {\mathsf{Rel}}^{\mathord {\mathbin {\square }}}$ on $X$} \end{gathered} \right\} \cong \left\{ \text{Subsets of $X$}\right\} . \]
8.6.4 Internal Monads
Let $X$ be a set.
Proof of Proposition 8.6.4.1.1.
This follows from Proposition 8.6.4.1.1 and Item 4 of Proposition 8.1.4.1.3.
