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:
“Punk to me was a form of free speech. It was a moment when suddenly all kinds of strange voices that no reasonable person could ever have expected to hear in public were being heard all over the place.”
—Greil Marcus (b. 1945)
“It is a mistake, to think the same thing affects both sight and touch. If the same angle or square, which is the object of touch, be also the object of vision, what should hinder the blind man, at first sight, from knowing it?”
—George Berkeley (1685–1753)