1: \begin{definition} 

2: When $G$ is a functor with left adjoint, we say that $G$ is {\em monadic} if $G$ satisfies the equivalent conditions of Theorem~\ref{beck's thm}.

3: \end{definition}

4: