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:
“I doubt if a single individual could be found from the whole of mankind free from some form of insanity. The only difference is one of degree. A man who sees a gourd and takes it for his wife is called insane because this happens to very few people.”
—Desiderius Erasmus (c. 1466–1536)
“Thus inevitably does the universe wear our color, and every object fall successively into the subject itself. The subject exists, the subject enlarges; all things sooner or later fall into place. As I am, so I see; use what language we will, we can never say anything but what we are; Hermes, Cadmus, Columbus, Newton, Bonaparte, are the mind’s ministers.”
—Ralph Waldo Emerson (1803–1882)