Objet Non-Hopfien

Objet d'une catégorie (généralement un module, un groupe ou une structure algébrique) admettant un endomorphisme surjectif qui n'est pas un isomorphisme ; en d'autres termes, la surjectivité d'un endomorphisme n'implique pas l'inversibilité pour cet objet.