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:
“In action, the English have the advantage enjoyed by free men always entitled to free discussion: of having a ready judgment on every question. We Germans, on the other hand, are always thinking. We think so much that we never form a judgment.”
—Heinrich Heine (1797–1856)
“The almost universal bareness and smoothness of the landscape were as agreeable as novel, making it so much more like the deck of a vessel.”
—Henry David Thoreau (1817–1862)