Categorical Preliminaries

From the axioms, it can be proved that there is exactly one identity morphism for every object. Some authors deviate from the defi nition just given by identifying each object with its identity morphism.