For every object , there exists a morphism (also denoted as ) called the identity morphism for , such that for every morphism , we have

From the axioms, it can be proved that there is exactly one identity morphism for every object.

Example

A prototypical example of a category is Set, the category of sets and functions between them. The objects of Set are just sets, and a