Algebras for monads in the category of subobjects

Abstract

For a given object $Y$ in a category ${\mathcal{C}}$, we construct the category of $T$-Algebras (Eilenberg-Moore category) and Kleisli category corresponding to the monad defined on partial order category $Sub_{\mathcal{C}}[Y]$. We obtain sufficient condition for the right adjoint to be monadic for the string of adjunction $f(-) \dashv f^{-1} \dashv f^{\#}$. Finally, given any adjunction the sufficient condition for the comparison functor between the original category and the category of T-Algebras derived from monad to have a left adjoint is obtained.