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:
“Do we call this the land of the free? What is it to be free from King George and continue the slaves of King Prejudice? What is it to be born free and not to live free? What is the value of any political freedom, but as a means to moral freedom? Is it a freedom to be slaves, or a freedom to be free, of which we boast?”
—Henry David Thoreau (1817–1862)
“The experience of the gangster as an experience of art is universal to Americans. There is almost nothing we understand better or react to more readily or with quicker intelligence.... In ways that we do not easily or willingly define, the gangster speaks for us, expressing that part of the American psyche which rejects the qualities and the demands of modern life, which rejects “Americanism” itself.”
—Robert Warshow (1917–1955)