Full, Faithful, and Essentially Surjective Functor Criterion for Equivalence