Factorization systems as Eilenberg-Moore algebras (Q1208242)

A functorial notion of factorization system is introduced and studied. It is shown that this notion is equivalent to the common notion of orthogonal factorization system with the usual diagonalization property (in brief, functorial choice of ``diagonals'' necessarily yields their uniqueness). Another interesting result asserts that the orthogonal factorization systems are equivalently described by the Eilenberg-Moore algebras with respect to the monad on \textbf{Cat} which assigns to a category \({\mathbf K}\) its morphism category \({\mathbf K}^ 2\).