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:
“I had some short struggle in my mind whether I should resign my lover or my liberty, but this lasted not long. I found myself as free as air and could not bear the thought of putting myself in any man’s power for life only from a present capricious inclination.”
—Sarah Fielding (1710–1768)
“They are universal places, like churches, hallowed meeting places of all mankind.”
—Iris Murdoch (b. 1919)