Kategorie/Nullobjekt/Definition

Nullobjekt

Ein Objekt in einer Kategorie heißt Nullobjekt, wenn es sowohl initiales Objekt als auch finales Objekt ist.