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 atmosphere parents wish to create when talking with children about birth and reproduction is warm, honest, and reassuring, one that tells children they are free to ask questions as often as they need to, and you will answer them as lovingly as you know how.”
—Joanna Cole (20th century)
“If only nature is real and if, in nature, only desire and destruction are legitimate, then, in that all humanity does not suffice to assuage the thirst for blood, the path of destruction must lead to universal annihilation.”
—Albert Camus (1913–1960)