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 struck the board, and cried, “No more.
I will abroad.”
What? Shall I ever sigh and pine?
My lines and life are free; free as the road,
Loose as the wind, as large as store.
Shall I be still in suit?”
—George Herbert (1593–1633)
“Necessity does everything well. In our condition of universal dependence, it seems heroic to let the petitioner be the judge of his necessity, and to give all that is asked, though at great inconvenience.”
—Ralph Waldo Emerson (1803–1882)