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 subjectivist in morals, when his moral feelings are at war with the facts about him, is always free to seek harmony by toning down the sensitiveness of the feelings.”
—William James (1842–1910)
“Poets ... are the only people to whom love is not only a crucial, but an indispensable experience, which entitles them to mistake it for a universal one.”
—Hannah Arendt (1906–1975)