Dice Question Streamline Icon: https://streamlinehq.com

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.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper studies when pushouts/pullbacks of normal (co)kernels preserve exactness. This exercise asks whether epimorphicity of an induced map is guaranteed under a pushout of normal epimorphisms in a short exact diagram; the dual question concerns monomorphisms under pullbacks.

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