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:
“I wish more and more that health were studied half as much as disease is. Why, with all the endowment of research against cancer is no study made of those who are free from cancer? Why not inquire what foods they eat, what habits of body and mind they cultivate? And why never study animals in health and natural surroundings? why always sickened and in an environment of strangeness and artificiality?”
—Sarah N. Cleghorn (1976–1959)
“Let us build altars to the Blessed Unity which holds nature and souls in perfect solution, and compels every atom to serve an universal end.”
—Ralph Waldo Emerson (1803–1882)