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:

    The improved American highway system ... isolated the American-in-transit. On his speedway ... he had no contact with the towns which he by-passed. If he stopped for food or gas, he was served no local fare or local fuel, but had one of Howard Johnson’s nationally branded ice cream flavors, and so many gallons of Exxon. This vast ocean of superhighways was nearly as free of culture as the sea traversed by the Mayflower Pilgrims.
    Daniel J. Boorstin (b. 1914)

    Is not prayer also a study of truth,—a sally of the soul into the unfound infinite? No man ever prayed heartily, without learning something. But when a faithful thinker, resolute to detach every object from personal relations, and see it in the light of thought, shall, at the same time, kindle science with the fire of the holiest affections, then will God go forth anew into creation.
    Ralph Waldo Emerson (1803–1882)