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:
“There is no such thing as a free lunch.”
—Anonymous.
An axiom from economics popular in the 1960s, the words have no known source, though have been dated to the 1840s, when they were used in saloons where snacks were offered to customers. Ascribed to an Italian immigrant outside Grand Central Station, New York, in Alistair Cooke’s America (epilogue, 1973)
“I would suggest that barbarism be considered as a permanent and universal human characteristic which becomes more or less pronounced according to the play of circumstances.”
—Simone Weil (1910–1943)