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.
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