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:
“Do we call this the land of the free? What is it to be free from King George and continue the slaves of King Prejudice? What is it to be born free and not to live free? What is the value of any political freedom, but as a means to moral freedom? Is it a freedom to be slaves, or a freedom to be free, of which we boast?”
—Henry David Thoreau (1817–1862)
“They are universal places, like churches, hallowed meeting places of all mankind.”
—Iris Murdoch (b. 1919)