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.
English Grothendieck category Cited by user AxelBoldt on 10 Apr 2018 In mathematics, a Grothendieck category is a certain kind of abelian category, introduced in Alexander Grothendieck's Tôhoku paper of 1957 in order to develop the…