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:
“Think of what our Nation stands for,
Books from Boots’ and country lanes,
Free speech, free passes, class distinction,
Democracy and proper drains.”
—Sir John Betjeman (1906–1984)
“For, if a “good speaker,” never so eloquent, does not see into the fact, and is not speaking the truth of that ... is there a more horrid kind of object in creation?”
—Thomas Carlyle (1795–1881)