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:
“The poor, stupid, free American citizen! Free to starve, free to tramp the highways of this great country, he enjoys universal suffrage, and by that right, he has forged chains around his limbs. The reward that he receives is stringent labor laws prohibiting the right of boycott, of picketing, of everything, except the right to be robbed of the fruits of his labor.”
—Emma Goldman (1869–1940)
“Nay, had I power, I should
Pour the sweet milk of concord into hell,
Uproar the universal peace, confound
All unity on earth.”
—William Shakespeare (1564–1616)