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:
“Vanity working on a weak head, produces every sort of mischief.”
—Jane Austen (1775–1817)
“The geometry of landscape and situation seems to create its own systems of time, the sense of a dynamic element which is cinematising the events of the canvas, translating a posture or ceremony into dynamic terms. The greatest movie of the 20th century is the Mona Lisa, just as the greatest novel is Gray’s Anatomy.”
—J.G. (James Graham)