Lemma 1.12. Assuming that:

  • F:C→D

Then F is part of an equivalence C≡D if and only if F is full, faithful, essentially surjective.