CatDat

Implication Details

Assumptions: monadic

Conclusions: conservative, faithful, right adjoint

Reason: This is clear since for a monad $T$ the forgetful functor from the category of $T$-algebras has these properties.