Nicht-Hopfianisches Objekt

Ein Objekt in einer Kategorie (häufig Modul, Gruppe oder algebraische Struktur), das einen surjektiven Endomorphismus besitzt, der kein Isomorphismus ist; mit anderen Worten: Surjektivität eines Endomorphismus impliziert für dieses Objekt nicht die Invertierbarkeit.