Representing Semilattices as Relations

arXiv2007.10277MaRDI QIDQ6345486FDOQ6345486

Robert Myers

Publication date: 20 July 2020

Abstract: 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 arrow category, where self-duality arises by taking the relational converse on both objects and morphisms. We investigate the tensor product and the "tight" tensor product using both categories. We also refine the categorical equivalence i.e. finite De Morgan algebras with bounded lattice morphisms are equivalent to a category whose objects are the symmetric relations.

This page was built for publication: Representing Semilattices as Relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6345486)