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:
“The free man is a warrior.—How is freedom measured among individuals, among peoples? According to the resistance that must be overcome, according to the trouble it takes to stay on top. The highest type of free man must be sought where the highest resistance is constantly overcome: five steps away from tyranny, close to the threshold of the danger of servitude.”
—Friedrich Nietzsche (1844–1900)
“A universal and perpetual peace, it is to be feared, is in the catalogue of events which will never exist but in the imaginations of visionary philosophers, or in the breasts of benevolent enthusiasts.”
—James Madison (1751–1836)