Weak reflections and weak factorization systems (Q633788): Difference between revisions

It is known that in nice categories, saturated factorization systems are equivalent to reflective subcategories, that is, there is an adjunction between them inducing a bijection [\textit{C. Cassidy, M. Hébert} and \textit{G. M. Kelly}, J. Aust. Math. Soc., Ser. A 38, 287--329 (1985; Zbl 0573.18002) and ibid. 41, 286 (1986; Zbl 0601.18001)]. This paper proves a similar result in the weak case, using an adjunction analogous to the strict case, which induces a bijection between saturated weak factorization systems and weak reflections. It is also shown that the author's adjunction extends to an adjunction between monads and the natural weak factorization systems of \textit{M. Grandis} and \textit{W. Tholen} [Arch. Math., Brno 42, No.~4, 397--408 (2006; Zbl 1164.18300)] and \textit{R. Garner} [``Cofibrantly generated natural weak factorisation systems'', \url{arXiv:math/0702290v1}].