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 poet will prevail to be popular in spite of his faults, and in spite of his beauties too. He will hit the nail on the head, and we shall not know the shape of his hammer. He makes us free of his hearth and heart, which is greater than to offer one the freedom of a city.”
—Henry David Thoreau (1817–1862)
“All progress is based upon a universal innate desire on the part of every organism to live beyond its income.”
—Samuel Butler (1835–1902)