Stability of di-extension conditions through SES(X)
For a z-exact category X, determine whether: (i) if X is homologically self-dual, SES(X) is also homologically self-dual; (ii) if dinversion in X preserves normal maps, it also does so in SES(X); (iii) if X is di-exact, SES(X) is di-exact. The authors suspect the answer is negative at least for item (iii).
References
We also turned certain questions which we currently are unable to answer into exercises; these are labelled 'ANK' for 'answer not known'. (i) If X is homologically self-dual, determine if SES(X) is homologically self-dual. (ii) If dinversion in X preserves normal maps, determine if it does so in SES(X). (iii) If X is di-exact, determine if SES" (X) is di-exact. We suspect that the answer is 'no' at least for item (iii).
— A Homological View of Categorical Algebra
(2404.15896 - Peschke et al., 24 Apr 2024) in Exercise 2.8.9 (Recursiveness of di-extension conditions) - Section 2.8