Implication Details

Assumptions: essentially surjective, faithful, full

Conclusions: equivalence

This is an equivalence.

Reason: This is standard, see Mac Lane, Ch. IV, Theorem 4.1.