In addition to the Jordan-Holder theorem for groups, there are various Jordan-Holder Theorems for other categories:

1. Finite dimensional representations have filtrations whose associated graded consists of irreducible representations. Any other such associated graded is the same up to permutation of its elements.

2. Artinian modules have filtrations whose associated graded consists of simple modules. Any other such associated graded is the same up to permutation of its elements.

3. Finitely generated $A$-modules have filtrations whose associated graded consists of modules of the form $A / p$ for a prime $p$. Any other such associated graded is the same up to permutation of its elements.

There is a commonality to the proofs of these as well. I am wondering if someone has come up with a categorical version of the Jordan-Holder theorem, which in a sense encompasses these ones.

For instance, one might try to look at the category of subquotients of an object $X$ in a category $C$. Objects are compositions $X \twoheadrightarrow Y \hookrightarrow Z$, and morphisms are the expected commutative diagrams.

For a moment, assume that $C$ is abelian. Notice that a subquotient $X \twoheadrightarrow Y$, $Z \hookrightarrow Y$, can in fact be represented by an epimorphism $X \twoheadrightarrow Y$ and a monomorphism $Z' \rightarrow X$. separately. To get $Z \hookrightarrow Y$ back, take the image of $Z \hookrightarrow X \twoheadrightarrow Y$, which is a subobject of $Y$. Hence we work with equivalence classes of pairs $(Z \hookrightarrow X, X \twoheadrightarrow Y)$.

To construct the direct sum of $(Z \hookrightarrow X, X \twoheadrightarrow Y)$ and $(Z' \hookrightarrow X, X \twoheadrightarrow Y')$, let $Z'' \rightarrow X$ be the pullback of $Z \rightarrow X$ and $Z' \rightarrow X$, and let $X \rightarrow Y''$ be the pushout of $X \rightarrow Y$ and $X \rightarrow Y'$. Then the direct sum is $(Z'' \rightarrow X, X \rightarrow Y'')$.

This construction can be used to refine filtrations (sequences of subobjects, each contained in the next). The Jordan-Holder Theorem for modules then asserts that, for two filtrations with simple subquotients $F$ and $G$ (the subquotients have no nontrivial subquotients), we can take a mutual refinement $F \vee G$. The mutual refinement, after discarding its redundant elements, has the same subquotients as both $F$ and $G$.

This doesn't quite apply to groups because we assumed that the category is abelian. But that result doesn't seem to far off. However, I am particularly interested to see if anyone can make something like this work for the third example above, because I don't quite see how it fits in with the rest.