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:
“Thou madest loose grace unkind;
Gavest bridle to their words, art to their pace.
O Honour, it is thou
That makest that stealth, which Love doth free allow.”
—Torquato Tasso (1544–1595)
“The universal regard for money is the one hopeful fact in our civilisation. Money is the most important thing in the world. It represents health, strength, honour, generosity and beauty.... Not the least of its virtues is that it destroys base people as certainly as it fortifies and dignifies noble people.”
—George Bernard Shaw (1856–1950)