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:
“If the husband dies, she is free to be married to whom she wishes.... But in my judgment she is happier if she remains as she is.”
—Bible: New Testament (RSV)
“People get real comfortable with their features. Nobody gets comfortable with their hair. Hair trauma. It’s the universal thing.”
—Jamie Lee Curtis (b. 1958)