*** Welcome to piglix ***

Initial and terminal objects


In category theory, a branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely one morphism IX.

The dual notion is that of a terminal object (also called terminal element): T is terminal if for every object X in C there exists a single morphism XT. Initial objects are also called coterminal or universal, and terminal objects are also called final.

If an object is both initial and terminal, it is called a zero object or null object. A pointed category is one with a zero object.

A strict initial object I is one for which every morphism into I is an isomorphism.

Initial and terminal objects are not required to exist in a given category. However, if they do exist, they are essentially unique. Specifically, if I1 and I2 are two different initial objects, then there is a unique isomorphism between them. Moreover, if I is an initial object then any object isomorphic to I is also an initial object. The same is true for terminal objects.

For complete categories there is an existence theorem for initial objects. Specifically, a (locally small) complete category C has an initial object if and only if there exist a set I (not a proper class) and an I-indexed family (Ki) of objects of C such that for any object X of C there at least one morphism KiX for some iI.

Terminal objects in a category C may also be defined as limits of the unique empty diagram ∅ → C. Since the empty category is vacuously a discrete category, a terminal object can be thought of as an empty product (a product is indeed the limit of the discrete diagram {X_i}, in general). Dually, an initial object is a colimit of the empty diagram ∅ → C and can be thought of as an empty coproduct or categorical sum.


...
Wikipedia

...