Natural weak factorization systems
In order to facilitate a natural choice for morphisms created by the (left or right) lifting property as used in the definition of weak factorization systems, the notion of natural weak factorization system in the category is introduced, as a pair (comonad, monad) over . The link with existing notions in terms of morphism classes is given via the respective Eilenberg–Moore categories.