Factorization System

A factorization system (E, M) for a category C consists of two classes of morphisms E and M of C such that:

  1. E and M both contain all isomorphisms of C and are closed under composition.
  2. Every morphism f of C can be factored as for some morphisms and .
  3. The factorization is functorial: if and are two morphisms such that for some morphisms and, then there exists a unique morphism making the following diagram commute:

Read more about Factorization System:  Orthogonality, Equivalent Definition, Weak Factorization Systems

Famous quotes containing the word system:

    Each generation’s job is to question what parents accept on faith, to explore possibilities, and adapt the last generation’s system of values for a new age.
    Frank Pittman (20th century)