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:
“When I think of a merry, happy, free young girl—and look at the ailing, aching state a young wife generally is doomed to—which you can’t deny is the penalty of marriage.”
—Victoria (1819–1901)
“We have had many harbingers and forerunners; but of a purely spiritual life, history has afforded no example. I mean we have yet no man who has leaned entirely on his character, and eaten angels’ food; who, trusting to his sentiments, found life made of miracles; who, working for universal aims, found himself fed, he knew not how; clothed, sheltered, and weaponed, he knew not how, and yet it was done by his own hands.”
—Ralph Waldo Emerson (1803–1882)