A factorization system (E, M) for a category C consists of two classes of morphisms E and M of C such that:
- E and M both contain all isomorphisms of C and are closed under composition.
- Every morphism f of C can be factored as for some morphisms and .
- 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:
“Television is an excellent system when one has nothing to lose, as is the case with a nomadic and rootless country like the United States, but in Europe the affect of television is that of a bulldozer which reduces culture to the lowest possible denominator.”
—Marc Fumaroli (b. 1932)
Related Phrases
Related Words