Coreflectivity of \(E\)-monads and algebraic hulls (Q1840724)

A general rule says that a monadic category over an \((E, M)\)-category \({\mathcal C}\) is nicely behaved if and only if the endofunctor \(T: {\mathcal C} \rightarrow {\mathcal C}\), being part of the monad, preserves \(E\)-morphisms. (This is the reason why monadic categories over \({\mathcal S}et\), where \(E\) is the class of retractions, are always well behaved.) The author constructs, under rather mild and natural conditions on \(E, M\) and \({\mathcal C}\), for each endofunctor \(T\) of \({\mathcal C}\), that is part of a monad, a couniversal modification \(T^\ast\) that preserves \(E\)-morphisms and inherits the monadic structure from \(T\). The concrete category Alg \((T^\ast)\) of \(T^\ast\)-algebras contains the universal \((E, M)\)-algebraic hull of Alg \((T)\), introduced earlier by \textit{H. Bargenda}.