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:
“Good and evil are so close as to be chained together in the soul. Now suppose we could break that chain, separate those two selves. Free the good in man and let it go on to its higher destiny.”
—John Lee Mahin (1902–1984)
“I believe there’s no proverb but what is true; they are all so many sentences and maxims drawn from experience, the universal mother of sciences.”
—Miguel De Cervantes (1547–1616)