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:
“A great many will find fault in the resolution that the negro shall be free and equal, because our equal not every human being can be; but free every human being has a right to be. He can only be equal in his rights.”
—Mrs. Chalkstone, U.S. suffragist. As quoted in History of Woman Suffrage, vol. 2, ch. 16, by Elizabeth Cady Stanton, Susan B. Anthony, and Matilda Joslyn Gage (1882)
“This universal exhibition in Canada of the tools and sinews of war reminded me of the keeper of a menagerie showing his animals’ claws. It was the English leopard showing his claws.”
—Henry David Thoreau (1817–1862)