Free Universal Algebras
Let be any set, let be an algebraic structure of type generated by . Let the underlying set of this algebraic structure, sometimes called universe, be, and let be a function. We say that, (or informally just ) is a free algebra (of type ) on the set of free generators if, for every algebra of type and function, where is a universe of, there exists a unique homomorphism such that .
Read more about this topic: Free Object
Famous quotes containing the words free and/or universal:
“Only free men can negotiate. Prisoners cannot enter into contracts.”
—Nelson Mandela (b. 1918)
“Music is the sound of the universal laws promulgated. It is the only assured tone. There are in it such strains as far surpass any man’s faith in the loftiness of his destiny. Things are to be learned which it will be worth the while to learn.”
—Henry David Thoreau (1817–1862)