Concept in category theory
Also known as point · functor of points
6 statements · 17% with external sources · numbers in brackets are citations
3 identifiers linking element across the web's reference databases
From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0
In category theory, the concept of an element, or a point, generalizes the more usual set theoretic concept of an element of a set to an object of any category. This idea often allows restating of definitions or properties of morphisms given by a universal property in more familiar terms, by stating their relation to elements. Some very general theorems, such as Yoneda's lemma and the Mitchell embedding theorem, are of great utility for this, by allowing one to work in a context where these translations are valid. This approach to category theory – in particular the use of the Yoneda lemma in this way – is due to Grothendieck, and is often called the method of the functor of points.