# a functor is an equivalence iff it is fully faithful and essentially surjective

## Primary tabs

Type of Math Object:
Derivation
Major Section:
Reference
Groups audience: