In a category , for any objects and , the hom-set
can be referred to as the set of generalized elements of with domain (or “stage of definition”) .
The primordial example is when is the category Set of sets and is a terminal object in — that is, a set with one element. Then elements of any set are in one-to-one correspondence with functions . This correspondence works as follows: given any element of there is a unique function with this element in its image, and conversely each function has a unique element of in its image.
In the same way, in a concrete category represented by , the -elements of an object are the same as the elements of its underlying set. (The category of sets is actually a special case of this, since it is concrete and represented by a terminal object.)
Generalizing from in another way, in any category with a terminal object , we call a morphism a global element of the object . Generalizing further, it is common to take to be the unit object whenever is a monoidal category; in this case the generalized elements are important in enriched category theory). Note that any closed monoidal category is again a concrete category represented by this .
The most general case where a single object may be used to define global elements is where is a generator of the category. However, not every category has a single object as a generator! Instead, in arbitrary categories, generalized elements of all possible stages of definition must often be used to replace global elements. Thus while a set is determined by its global elements, an object of an arbitrary category is determined by all of its generalized elements (this is one way to state the Yoneda lemma).
For Set and the singleton set, the global elements of a set are precisely the ordinary elements of .
For a presheaf category and for the presheaf constant on the singleton set, the generalized elements of a presheaf are the global sections of this presheaf, equivalently these are the elements in the limit set over .
Again for and a representable presheaf, the generalized elements of at stage are precisely the elements of the set , by the Yoneda lemma.
An element in an abelian category is an equivalence class of generalised elements.