"categorical" proof of a seemingly symmetric statement about Noetherian/Artinian modules There are two statements which to me seem rather symmetric: Let $A$ be a ring, $M$ an $A$-module, and $f : M \to M$.

If $M$ is Noetherian and $f$ is surjective, then $f$ is injective.
If $M$ is Artinian and $f$ is injective, then $f$ is surjective.

The proofs also seem symmetric in a sense: in the first case one constructs the increasing chain of ideals $0 \subset \ker f \subset \ker f^2 \subset \dots$ which is strict when $f$ is surjective but not injective. In the second case one uses the injectivity of $f$ to construct the decreasing chain of ideals $M \supset im \, f \supset im \, f^2 \supset \dots$  which is strict when $f$ is injective but not surjective. However, some symmetry is lost in the assertion of the last part ("which is strict when $f$ is __ but not __"). In the first case I use the fact $\ker f^n = \ker f^{n+1}$ implies that $f$ is injective on $im \, f^n = M$. In the second case I use the fact that $M \supsetneq im \, f$ would imply that $im \, f^n \supsetneq im \, f^{n+1}$ because injective maps preserve strict inclusions.
My question is, is there a way to prove one of the statements in the appropriate category/framework such that the other follows from some kind of formulaic reversal of arrows? This is definitely more of a soft question because I'm not sure what this might mean, but the two situations seem symmetric enough that this might be plausible.
 A: If you look at the proof in the Noetherian case, you see that it
is valid in a general Abelian category. (A Noetherian object in an Abelian
category is one with ACC on subobjects). Now use the categorical
principle of duality. The opposite of an Abelian category is an Abelian
category, Noetherian becomes Artinian, injective becomes surjective etc.
So the Artinian case follows from the Noetherian case and vice versa.
Of course, algebra textbooks don't do this, largely because the opposite
of a module category is rarely also a module category.
A: Yes!  These are both special cases of a general statement:

If $M$ is a Noetherian object in an abelian category and $f:M\to M$ is an epimorphism, then $f$ is a monomorphism.

Here an object is "Noetherian" if every ascending chain of subobjects stabilizes.  The proof is exactly the same as in the case of modules: look at the ascending chain $0 \subset \ker f \subset \ker f^2 \subset \dots$ (though it takes a little more work to prove this chain is strictly ascending in an abstract abelian category than in the case of modules).
Now, how does this imply the Artinian version?  Well, the opposite category of $A$-modules is also an abelian category, so we can apply the result in that category.  What does it mean for $M$ to be a Noetherian object in the opposite category of $A$-modules?  Well, a subobject is a monomorphism $N\to M$ (up to isomorphism), which would be an epimorphism $M\to N$ in the original category.  But such an epimorphism is determined (up to isomorphism) by its kernel, which is a subobject of $M$.  So subobjects of $M$ in the opposite category are naturally in bijection with subobjects in the original category.
However, this bijection reverses the inclusion order on subobjects.  Indeed, suppose $N\to M$ and $P\to M$ are two subobjects of $M$ in the opposite category, with $N$ contained in $P$.  That means we can factor the map $N\to M$ as $N\to P\to M$.  In the original category, then, this means we can factor the quotient map $M\to N$ as $M\to P\to N$.  This is possible if and only if the kernel of $M\to N$ contains the kernel of $M\to P$.  In other words, $N$ is contained in $P$ as subobjects in the opposite category iff the subobject in the original category corresponding to $P$ is contained in the subobject in the original category corresponding to $N$.
This means that $M$ is Noetherian in the opposite category iff $M$ is Artinian in the original category, since the order on subobjects has been reversed.  Applying the result in the opposite category, we conclude that if $M$ is Artinian and if $f:M\to M$ is a monomorphism, then $f$ is an epimorphism.
