Free Object

In mathematics, the idea of a free object is one of the basic concepts of abstract algebra. It is a part of universal algebra, in the sense that it relates to all types of algebraic structure (with finitary operations). It also has a formulation in terms of category theory, although this is in yet more abstract terms. Examples include free groups, tensor algebras, or free lattices. Informally, a free object over a set A can be thought as being a "generic" algebraic structure over A: the only equations that hold between elements of the free object are those that follow from the defining axioms of the algebraic structure.

Read more about Free Object:  Definition, Examples, Free Universal Algebras, Free Functor, List of Free Objects

Famous quotes containing the words free and/or object:

    There is no such thing as a free lunch.
    —Anonymous.

    An axiom from economics popular in the 1960s, the words have no known source, though have been dated to the 1840s, when they were used in saloons where snacks were offered to customers. Ascribed to an Italian immigrant outside Grand Central Station, New York, in Alistair Cooke’s America (epilogue, 1973)

    The exercise of letters is sometimes linked to the ambition to contruct an absolute book, a book of books that includes the others like a Platonic archetype, an object whose virtues are not diminished by the passage of time.
    Jorge Luis Borges (1899–1986)