We have an isomorphism of categories
\[ \mathrm{Rel}\cong \mathsf{FreeAlg}_{\mathcal{P}_{!}}(\mathsf{Sets}), \]
where $\mathcal{P}_{!}$ is the powerset monad of 
, .
8.5.20 $\mathsf{Rel}$ as a Category of Free Algebras
Proof of Proposition 8.5.20.1.1.
Omitted.
