An epi-mono factorization system is an orthogonal factorization system in which the left class is the class of epimorphisms and the right class is the class of monomorphisms. Such a factorization system exists on any (elementary) topos, and indeed on any pretopos. It provides the factorization through the image of any morphism.
Note that any category which admits an epi-mono factorization system is necessarily balanced. This excludes many commonly occurring categories. More common are (strong epi, mono) and (epi, strong mono) factorization systems; the former exists in any regular category and the latter in any quasitopos, as well as in other categories such as Top.
The epi-mono factorization system in a topos is the special case of the n-connected/n-truncated factorization system in an (∞,1)-topos for the case that and restricted to 0-truncated objects.
(epi, mono) factorization system
For instance:
Last revised on April 20, 2023 at 11:44:39. See the history of this page for a list of all contributions to it.