An object in a category that admits an injective endomorphism which is not an isomorphism; equivalently, injectivity of an endomorphism does not imply invertibility for that object.

Principle

Co-Hopfian objects satisfy that every injective endomorphism is an automorphism; non-co-Hopfian examples arise when the object embeds properly into a proper strict subobject isomorphic to itself, often linked to infinite extendability or self-similar embeddings.

Demonstration

Illustrative example: a vector space with a countable basis admits an injective linear map that is not surjective (right shift sending en to en+1), so as an object of vector spaces it is non-co-Hopfian; likewise, some infinite modules or groups admit proper self-embeddings producing non-co-Hopfian behavior.

Misapplication

Declaring a co-Hopfian failure in finite or chain-condition contexts (e.g., finite-length modules or finitely generated modules over artinian rings) is typically mistaken, since such conditions often imply co-Hopfianity.

Consequence

When an object is non-co-Hopfian, one cannot conclude invertibility from injectivity; this impacts arguments about subobject rigidity, ascending chains of embeddings, and structural decompositions relying on embeddings being automorphisms.

Reversal

The reversal is co-Hopfian: every injective endomorphism is an automorphism, a property commonly ensured by descending chain conditions or finite-length hypotheses.

Boundary

Scope and exclusions: non-co-Hopfian concerns injective noninvertible self-maps and depends on the categorical setting and finiteness properties; it does not address surjective maps (the Hopfian notion) and typically excludes rigid finite contexts.

Semantic Tension

Tension arises between rigidity forced by finiteness conditions and flexibility allowed by infinite self-embeddings; conflating these leads to erroneous deployment of embedding-based arguments.

Synthesis

A non-co-Hopfian object concretely exhibits that injective self-maps need not be invertible: it admits a proper self-embedding, a phenomenon frequent in infinite or self-similar structures and precluded under standard finiteness or chain conditions.