Weak Factorization Systems
Suppose e and m are two morphisms in a category C. Then e has the left lifting property with respect to m (resp. m has the right lifting property with respect to e) when for every pair of morphisms u and v such that ve=mu there is a morphism w such that the following diagram commutes. The difference with orthogonality is that w is not necessarily unique.
A weak factorization system (E, M) for a category C consists of two classes of morphisms E and M of C such that :
- The class E is exactly the class of morphisms having the left lifting property wrt the morphisms of M.
- The class M is exactly the class of morphisms having the right lifting property wrt the morphisms of E.
- Every morphism f of C can be factored as for some morphisms and .
Read more about this topic: Factorization System
Famous quotes containing the words weak and/or systems:
“A strong nation, like a strong person, can afford to be gentle, firm, thoughtful, and restrained. It can afford to extend a helping hand to others. It’s a weak nation, like a weak person, that must behave with bluster and boasting and rashness and other signs of insecurity.”
—Jimmy Carter (James Earl Carter, Jr.)
“Our little systems have their day;
They have their day and cease to be:
They are but broken lights of thee,
And thou, O Lord, art more than they.”
—Alfred Tennyson (1809–1892)