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:
“None who have always been free can understand the terrible fascinating power of the hope of freedom to those who are not free.”
—Pearl S. Buck (1892–1973)
“We call contrary to nature what happens contrary to custom; nothing is anything but according to nature, whatever it may be, Let this universal and natural reason drive out of us the error and astonishment that novelty brings us.”
—Michel de Montaigne (1533–1592)