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:
“Poor shad! where is thy redress? When Nature gave thee instinct, gave she thee the heart to bear thy fate? Still wandering the sea in thy scaly armor to inquire humbly at the mouths of rivers if man has perchance left them free for thee to enter.”
—Henry David Thoreau (1817–1862)
“The basis of world peace is the teaching which runs through almost all the great religions of the world. “Love thy neighbor as thyself.” Christ, some of the other great Jewish teachers, Buddha, all preached it. Their followers forgot it. What is the trouble between capital and labor, what is the trouble in many of our communities, but rather a universal forgetting that this teaching is one of our first obligations.”
—Eleanor Roosevelt (1884–1962)