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

Are all normal maps antinormal?

Determine whether there exists a pointed category in which some normal map does not admit an antinormal decomposition; if so, develop sufficient conditions characterizing pointed categories in which every normal map admits an antinormal decomposition.

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

Background

A normal map factors as a normal epi followed by a normal mono; an antinormal decomposition reverses the order. It is unclear whether every normal map admits an antinormal factorization in general pointed categories.

References

We also turned certain questions which we currently are unable to answer into exercises; these are labelled 'ANK' for 'answer not known'. Determine if there is a pointed category in which there exists a normal map which does not admit an antinormal decomposition. If such a category exists, develop sufficient conditions to identify pointed categories in which every normal map admits an antinormal decomposition.

A Homological View of Categorical Algebra (2404.15896 - Peschke et al., 24 Apr 2024) in Exercise 2.1.29 (Are normal maps antinormal?) - Section 2.1