Formal Definition
Any set X may be used to generate the free semilattice FX. The free semilattice is defined to consist of all of the finite subsets of X, with the semilattice operation given by ordinary set union. The free semilattice has the universal property. The universal morphism is, where the unit map which takes to the singleton set . The universal property is then as follows: given any map from X to some arbitrary semilattice L, there exists a unique semilattice homomorphism such that . The map may be explicitly written down; it is given by
Here, denotes the semilattice operation in L. This construction may be promoted from semilattices to lattices; by construction the map will have the same properties as the lattice.
The symbol F is then a functor from the category of sets to the category of lattices and lattice homomorphisms. The functor F is left adjoint to the forgetful functor from lattices to their underlying sets. The free lattice is a free object.
Read more about this topic: Free Lattice
Famous quotes containing the words formal and/or definition:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)