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:
“[Rutherford B. Hayes] was a patriotic citizen, a lover of the flag and of our free institutions, an industrious and conscientious civil officer, a soldier of dauntless courage, a loyal comrade and friend, a sympathetic and helpful neighbor, and the honored head of a happy Christian home. He has steadily grown in the public esteem, and the impartial historian will not fail to recognize the conscientiousness, the manliness, and the courage that so strongly characterized his whole public career.”
—Benjamin Harrison (1833–1901)
“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)