Ein Objekt I {\displaystyle {}I} in einer Kategorie C {\displaystyle {}{\mathcal {C}}} heißt initiales Objekt, wenn für jedes Objekt M {\displaystyle {}M} die Morphismenmenge Mor ( I , M ) {\displaystyle {}\operatorname {Mor} {\left(I,M\right)}} einelementig ist.
