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

Unknown behavior in short exact sequence of short exact sequences

Decide whether, in a short exact sequence of short exact sequences in a pointed category, the comparison map w is always a monomorphism and whether the comparison map x is always an epimorphism.

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

Background

The paper builds the category SES(X) of short exact sequences in a z-exact category X and shows it is itself z-exact. However, limits and colimits in SES(X) are not computed pointwise, leading to subtle phenomena. Exercise 1.10.7 raises a structural question about the morphisms appearing in a short exact sequence of short exact sequences: whether certain induced maps must be mono/epi. The authors mark certain exercises ‘ANK’ to indicate they are open to them.

References

We also turned certain questions which we currently are unable to answer into exercises; these are labelled 'ANK' for 'answer not known'. For a short exact sequence of short exact sequences in a pointed category ... decide if w is always a monomorphism, and if x is always an epimorphism.

A Homological View of Categorical Algebra (2404.15896 - Peschke et al., 24 Apr 2024) in Exercise 1.10.7 (Non-pointwise mystery in short exact sequence of short exact sequences) - Section 1.10