English Diagonal morphism Cited by user Silvermatsu on 31 Dec 2023 In category theory, a branch of mathematics, for any object with the pushout is an epimorphism if and only if the codiagonal is an isomorphism.