Some stability properties of epimorphism classes
Dali Zangurashvili
Abstract
Open-access reader
Dali Zangurashvili
Abstract
Open-access reader
It is proved that in any pointed category with pullbacks, coequalizers and regular epi-mono factorizations, the class of regular epimorphisms is stable under pullback along the so-called balanced effective descent morphisms.Here "balanced" can be omitted if the category is additive.A balanced effective descent morphism is defined as an effective descent morphism p : E → B such that any subobject of E is a pullback of some morphism along p.It is shown that, in any category with pullbacks and coequalizers, the class of effective descent morphisms is stable under pushout if and only if any regular epimorphism is an effective descent morphism.Moreover, it is shown that the class of descent morphisms is stable under pushout if and only if the class of regular epimorphisms is stable under pullback.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
It is proved that in any pointed category with pullbacks, coequalizers and regular epi-mono factorizations, the class of regular epimorphisms is stable under pullback along the so-called balanced effective descent morphisms.Here "balanced" can be omitted if the category is additive.A balanced effective descent morphism is defined as an effective descent morphism p : E → B such that any subobject of E is a pullback of some morphism along p.It is shown that, in any category with pullbacks and coequalizers, the class of effective descent morphisms is stable under pushout if and only if any regular epimorphism is an effective descent morphism.Moreover, it is shown that the class of descent morphisms is stable under pushout if and only if the class of regular epimorphisms is stable under pullback.
Key concepts: Epimorphism, Mathematics, Morphism, Descent (aeronautics), Pullback, Class (philosophy), Pure mathematics, Combinatorics