A suplattice is a poset that has joins of arbitrary subsets (and in particular is a join-semilattice). By the adjoint functor theorem for posets, a suplattice necessarily has all meets as well and so is a complete lattice. However, a suplattice homomorphism preserves joins, but not necessarily meets. Furthermore, a large semilattice which has all small joins need not have all meets, but might still be considered a large suplattice (even though it may not even be a lattice).
Dually, an inflattice is a poset which has all meets, and an inflattice homomorphism is a monotone function that preserves all meets.
A frame (dual to a locale) is a suplattice in which finitary meets distribute over arbitrary joins. (Frame homomorphisms preserve all joins and finitary meets.)
The category SupLat of suplattices and suplattice homomorphisms admits a tensor product which represents “bilinear maps”, i.e. functions which preserve joins separately in each variable. Under this tensor product, the category of suplattices is a star-autonomous category in which the dualizing object is the suplattice dual to the object of truth-values. A semigroup in this monoidal category is a quantale, including frames as a special case when the quantale is idempotent and unital. Modules over them are modules over quantales (quantic modules with special case of localic modules, used in the localic analogue of the Grothendieck’s descent theory in Joyal-Tierney 84).
There is a forgetful functor
This has a left adjoint
where for any poset , the suplattice is the poset of downsets of , ordered by inclusion. Here a downset of a poset is a subset such that
This set of all downsets in , say , is ordered by inclusion, and it’s a suplattice: any union of downsets is a downset. There’s an embedding of in that sends each to its principal downset . (To give a downset is to give an antichain, and so the free suplattice is sometimes described equivalently in terms of antichains.)
To understand this description of the free suplattice on a poset, some enriched category theory is useful. Preorders are the same as -enriched categories, where is the monoidal category with two objects , and one nontrivial morphism , its monoidal structure being “and”. Using this idea, the downsets of a poset correspond in a one-to-one way with -enriched functors , just as presheaves on a category are functors . The embedding that sends each to its principal downset is the -enriched version of the Yoneda embedding. So, just as the category of presheaves on a category is the free cocomplete category on , is the free cocomplete -enriched category on . But a cocomplete -enriched category that happens to be a poset is just the same as a suplattice.
The category of suplattices is monadic over the category of posets, and each algebra structure is left adjoint to the Yoneda embedding . This makes suplattices the same thing (up to equivalence) as total categories in the -enriched sense. Notice that algebra structure maps, being left adjoints, are cocontinuous and therefore suplattice morphisms. This makes the monad a commutative monad, and therefore according to general theory, is a symmetric monoidal closed category where the internal hom between two suplattices is the suplattice of cocontinuous maps , which are the same as left adjoints according to the poset version of the adjoint functor theorem.
is also monadic over , where the monad is the covariant power set functor. It therefore is a complete and cocomplete Barr-exact category. The Kleisli category of this monad is equivalent to Rel, the category of sets and relations. Thus the objects of may be thought of as the free suplattices.
As stated above, the symmetric monoidal closed category is a star-autonomous category where the star-involution takes a suplattice to the opposite poset . In part this says that a suplattice is also an inflattice, a fact which holds internally in any topos (where we use an internal covariant power-object functor to form an appropriate monad). Thus the tensor product may be formed as the suplattice . The presence of the equivalence
(which takes a morphism to , where is right adjoint to ) also means that colimits may be formed as appropriate limits, which are in turn formed pointwise by monadicity over .
Last revised on February 6, 2024 at 12:12:25. See the history of this page for a list of all contributions to it.