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:
“Learned institutions ought to be favorite objects with every free people. They throw light over the public mind which is the best security against crafty and dangerous encroachments on the public liberty.”
—James Madison (1751–1836)
“The hero is a mind of such balance that no disturbances can shake his will, but pleasantly, and, as it were, merrily, he advances to his own music, alike in frightful alarms and in the tipsy mirth of universal dissoluteness.”
—Ralph Waldo Emerson (1803–1882)