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 (such as monomorphism or product) 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.
Suppose C is any category and A, T are two objects of C. A T-valued point of A is simply a morphism
p\colonT\toA
Many properties of morphisms can be restated in terms of points. For example, a map
f
For all maps
g
h
f\circg=f\circh
g=h
f\colonB\toC
g,h\colonA\toB
f is a monomorphism if it is an injective function on points of B.Some care is necessary. f is an epimorphism if the dual condition holds:
For all maps g, h (of some suitable type),
g\circf=h\circf
g=h
Every point of C is the image, under f, of some point of B.This is clearly not the translation of the first statement into the language of points, and in fact these statements are not equivalent in general. However, in some contexts, such as abelian categories, "monomorphism" and "epimorphism" are backed by sufficiently strong conditions that in fact they do allow such a reinterpretation on points.
Similarly, categorical constructions such as the product have pointed analogues. Recall that if A, B are two objects of C, their product A × B is an object such that
There exist maps
p\colonA x B\toA,
q\colonA x B\toB
f\colonT\toA,g\colonT\toB
h\colonT\toA x B
f=p\circh
g=q\circh
A × B is an object of C, together with projection maps
p\colonA x B\toA
q\colonA x B\toB
See also: Rational point. The terminology is geometric in origin; in algebraic geometry, Grothendieck introduced the notion of a scheme in order to unify the subject with arithmetic geometry, which dealt with the same idea of studying solutions to polynomial equations (i.e. algebraic varieties) but where the solutions are not complex numbers but rational numbers, integers, or even elements of some finite field. A scheme is then just that: a scheme for collecting together all the manifestations of a variety defined by the same equations but with solutions taken in different number sets. One scheme gives a complex variety, whose points are its
(\operatorname{Spec}C)
(\operatorname{Spec}Q)
(\operatorname{Spec}Fp)
One feature of the language of points is evident from this example: it is, in general, not enough to consider just points with values in a single object. For example, the equation
x2+1=0
\pmi
The situation is analogous to the case where C is the category Set, of sets of actual elements. In this case, we have the "one-pointed" set, and the elements of any set S are the same as the points of S. In addition, though, there are the points, which are pairs of elements of S, or elements of S × S. In the context of sets, these higher points are extraneous: S is determined completely by its . However, as shown above, this is special (in this case, it is because all sets are iterated coproducts of).