Question. Suppose $m : A \rightarrow B$ is an isometry in a dagger category (by which I mean that $m^\dagger \circ m=\mathrm{id}_A$), and that we're given arrows $f : A \rightarrow Y$ and $g : Y \rightarrow B$ such that $m = g \circ f$. Is it possible that $f$ fails to be an isometry?
The remainder of the question is motivation...
In category theory, we have the following well-known result.
Proposition. Suppose $m : A \rightarrow B$ is a split monomorphism, and that we're given arrows $f : A \rightarrow Y$ and $g : Y \rightarrow B$ such that $m = g \circ f$. Then $f$ is a split monomorphism.
Proof. Since $m$ splits, let $e : B \rightarrow A$ satisfy $e \circ m = \mathrm{id}_A$. Then defining $e' = e \circ g$, we see that $$e' \circ f = (e \circ g) \circ f = e \circ m = \mathrm{id}_A.$$
Unfortunately, if we're in a dagger category and we try replacing "split monomorpism" by "isometry", the above proof doesn't seem to go through. In particular, although we can show that $f$ is a split monomorphism by defining $e' = m^\dagger \circ g$, there appears to be no guarantee that $f^\dagger$ equals $m^\dagger \circ g$.