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:
“One of the annoying things about believing in free will and individual responsibility is the difficulty of finding somebody to blame your problems on. And when you do find somebody, it’s remarkable how often his picture turns up on your driver’s license.”
—P.J. (Patrick Jake)
“The earliest instinct of the child, and the ripest experience of age, unite in affirming simplicity to be the truest and profoundest part for man. Likewise this simplicity is so universal and all-containing as a rule for human life, that the subtlest bad man, and the purest good man, as well as the profoundest wise man, do all alike present it on that side which they socially turn to the inquisitive and unscrupulous world.”
—Herman Melville (1819–1891)