objekt $T$ u kategoriji $C$ takav da za svaki drugi objekt $X$ iz $C$ postoji točno jedan morfizam iz $X$ u $T$
objekt $T$ u kategoriji $C$ takav da za svaki drugi objekt $X$ iz $C$ postoji točno jedan morfizam iz $X$ u $T$
Rod: nema
Vrsta riječi: višerječni naziv
Do sada je bio uobičajen naziv terminalni objekt, no preporučuje se završni objekt. Nije preporučljivo pojam nazivati konačni objekt jer konačnost u matematici ima drugo značenje.