An adjoint equivalence between categories is a pair of functors
F : C \stackrel{\leftarrow}{\to} D : G
that is both
an equivalence of categories
and a pair of adjoint functors.
Every equivalence of categories may be refined to an adjoint equivalence.