Free Object - Free Universal Algebras

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:

    And anyone is free to condemn me to death
    If he leaves it to nature to carry out the sentence.
    I shall will to the common stock of air my breath
    And pay a death tax of fairly polite repentance.
    Robert Frost (1874–1963)

    A princely marriage is the brilliant edition of a universal fact, and, as such, it rivets mankind.
    Walter Bagehot (1826–1877)