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:
“Without this, as well as with it, we could have declared our independence of Great Britain; but without it, we could not, I think, have secured our free government, and consequent prosperity. No oppressed, people will fight, and endure, as our fathers did, without the promise of something better, than a mere change of masters.”
—Abraham Lincoln (1809–1865)
“So having said, a while he stood, expecting
Their universal shout and high applause
To fill his ear; when contrary, he hears,
On all sides, from innumerable tongues
A dismal universal hiss, the sound
Of public scorn.”
—John Milton (1608–1674)