In mathematics, in the area of order theory, a free lattice is the free object corresponding to a lattice. As free objects, they have the universal property.
In mathematics, in the area of order theory, a free lattice is the free object corresponding to a lattice. As free objects, they have the universal property. (en)
Give the construction of a free lattice explicitly. If it consists in using finite subsets of X with union and intersection, it will produce a distributive lattice. In that case, no homomorphism into a non-distributive lattice can exist. (en)
In mathematics, in the area of order theory, a free lattice is the free object corresponding to a lattice. As free objects, they have the universal property. (en)