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:
“Agriculture, manufactures, commerce, and navigation, the four pillars of our prosperity, are then most thriving when left most free to individual enterprise. Protection from casual embarrassments, however, may sometimes be seasonably interposed.”
—Thomas Jefferson (1743–1826)
“The universal soul is the alone creator of the useful and the beautiful; therefore to make anything useful or beautiful, the individual must be submitted to the universal mind.”
—Ralph Waldo Emerson (1803–1882)