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

When an antinormal pair with identity composite fails to give a di-extension

Decide whether there exist pointed categories in which an antinormal pair (e,u) with the composite e u equal to the identity morphism need not yield a di-extension.

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

Background

Di-extensions are 3×3-diagrams whose rows and columns are short exact. The construction relates to ‘dinversion’ between antinormal pairs. The exercise probes the limits of this construction in pointed categories when the antinormal composite is the identity.

References

We also turned certain questions which we currently are unable to answer into exercises; these are labelled 'ANK' for 'answer not known'. (iv) Decide whether there are pointed categories in which an antinormal pair (, u), with eu = 1, need not yield a double extension.

A Homological View of Categorical Algebra (2404.15896 - Peschke et al., 24 Apr 2024) in Exercise 2.1.20(iv) - Section 2.1