nLab
(epi, mono) factorization system

Contents

Definition

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.

Properties

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 (n=1)(n = -1) and restricted to 0-truncated objects.

Revised on December 14, 2011 09:48:06 by Urs Schreiber (82.169.65.155)