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:

    The angels yawning in an empty heaven;
    Alternate shows of dynamite and rain;
    And choosing forced on free will: fire or ice.
    Philip Larkin (1922–1986)

    To revolutionize, at one effort, the universal world of human thought, human opinion, and human sentiment.... All that he has to do is to write and publish a very little book. Its title should be simple—a few plain words—”My Heart Laid Bare.” But—this little book must be true to its title.
    Edgar Allan Poe (1809–1849)