nLab
SemiLat

SemiLatSemi Lat is the category whose objects are semilattices and whose morphisms are semilattice homomorphisms, that is functions which preserve finitary joins (equivalently, binary joins and the bottom element).

We mention joins above as if the objects are join-semilattices; one can just as well consider them meet-semilattices and say that the homomorphisms preserve finitary meets (including the top element). For SemiLatSemi Lat in itself, this is purely a difference in notational convention. However, this choice corresponds to using either of two inclusion functors representing SemiLatSemi Lat as a subcategory of Pos.

SemiLatSemi Lat is given by a finitary variety of algebras, or equivalently by a Lawvere theory, so has all the usual properties of such categories. The free semilattice on a set XX is the finite powerset 𝒫 fin(X)\mathcal{P}_{fin}(X) of XX, that is the set of finite subsets of XX, thought of as a join-semilattice. (Note that this exists even in predicative mathematics, as long as we are allowed to define sets by recursion over natural numbers, although you have to construct it by general nonsense instead of as a subset of the full powerset. For purposes of constructive mathematics, by ‘finite’ we mean Kuratowski finite.)

category: category

Revised on February 1, 2010 19:48:50 by Toby Bartels (173.60.119.197)