(Note: in the post below, whenever I use the word "composition", I mean "defined composition", where the domain of the second morphism is the codomain of the first one; likewise, every composition expression "$g\;\;{\scriptstyle \circ}\;\;f\;$" implies the assertion dom($g$) = cod($f$).)
Arbib and Manes define an image factorization system for a category $\mathbf{K}$ as a pair $(\mathbf{E}, \mathbf{M})$ where $\mathbf{E}$ and $\mathbf{M}$ are classes of morphisms in $\mathbf{K}$ satisfying the following four axioms:
IFS1: $\mathbf{E}$ and $\mathbf{M}$ are both closed under compositions.
IFS2: The members of $\mathbf{E}$ are epic and the members of $\mathbf{M}$ are monic.
IFS3: All of $\mathbf{K}$'s isomorphisms belong to $\mathbf{E}\cap \mathbf{M}$.
IFS4: Every $f:A\to B$ in $\mathbf{K}$ can be factored as $f = m\;\;{\scriptstyle \circ}\;\;e$, where, $e\in \mathbf{E}$ and $m\in \mathbf{M}$, such that, for any other e'\in \mathbf{E} and m'\in \mathbf{M} with f = m'\;\;{\scriptstyle \circ}\;\;e', there exists an isomorphism $\psi$ such that e' = \psi\;\;{\scriptstyle \circ}\;\;e and m' = m\;\;{\scriptstyle \circ}\;\;\psi^{-1}.
Suppose that for some category $\mathbf{K}$ there exists an image factorization system $(\mathbf{E}, \mathbf{M})$. Can there be some other class \mathbf{M}' \neq \mathbf{M} such that (\mathbf{E}, \mathbf{M}') is also an image factorization for $\mathbf{K}$?
Thanks!
PS:
Above, I reworded Arbib-Manes' definition of image factorization system. Just in case my rewording is not as faithful to the original as I think it is, I copy the original passages verbatim below.
[p. 38]
13 DEFINITION: An image factorization system for a category $\mathbf{K}$ consists of a pair $(\mathbf{E}, \mathbf{M})$ where $\mathbf{E}$ and $\mathbf{M}$ are classes of morphisms in $\mathbf{K}$ satisfying the following four axioms:
IFS1: If $e:A\to B\in\mathbf{E}$ and e':B\to C\in\mathbf{E} then e'\cdot e:A\to C\in\mathbf{E}. Dually, if $m:A\to B\in\mathbf{M}$ and m':B\to C\in\mathbf{M} then m'\cdot m:A\to C\in\mathbf{M}.
IFS2: If $e:A\to B\in\mathbf{E}$, $e$ is an epimorphism. Dually, $m:A\to B\in\mathbf{M}$, $m$ is a monomorphism.
IFS3: If $f:A\to B$ is an isomorphism, then $f\in\mathbf{E}$ and $f\in\mathbf{M}$.
IFS4: Every $f:A\to B$ in $\mathbf{K}$ has an $\mathbf{E}$-$\mathbf{M}$ factorization which is unique up to isomorphism. More precisely, there exists an E-M factorization $(e, m)$ of $f$, meaning $e\in\mathbf{E}, m\in\mathbf{M}$ and $f = m\cdot e$, (so that there exists an object—call it $f(A)$—such that $e$ has the form $e:A\to f(A)$ and $m$ has the form $m:f(A)\to B$), and this factorization is unique in the sense that if (e', m') is another such factorization—$f = m'\cdot e', e'\in\mathbf{E}, m'\in\mathbf{M}$—then there exists an isomorphism [$\psi: f(A)\to C=\mathrm{cod}(e')=\mathrm{dom}(m')$] . . . with \psi\cdot e= e', m'\cdot\psi = m.