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