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)
“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)