Epimorphicity in pushouts of normal epimorphisms
Determine whether, in a z-exact category, given a morphism of short exact sequences whose right square is a pushout of normal epimorphisms, the induced map m on the left is always an epimorphism; also formulate and resolve the dual question.
References
We also turned certain questions which we currently are unable to answer into exercises; these are labelled 'ANK' for 'answer not known'. In a z-exact category, consider the morphism of short exact sequences below. Assume that all maps in square (R) are normal epimorphisms, and that (R) is a pushout. Is the map m on the left always an epimorphism? - Also formulate the dual of this question, and try to answer it.
— A Homological View of Categorical Algebra
(2404.15896 - Peschke et al., 24 Apr 2024) in Exercise 2.1.23 (Pushout of normal epimorphisms) - Section 2.1