Representing Semilattices as Relations

Robert Samuel Ralph Myers

We represent finite join-semilattices and join-preserving morphisms as a category whose objects and morphisms are binary relations. It is a quotient category of ${\mathsf{Rel}}_f$'s…