 Fully faithful adjoint criterion

For $F⊣G$, the right adjoint $G$ is full and faithful exactly when the counit $FG\to 1$ is an isomorphism. Dually, $F$ is full and faithful exactly when the unit $1\to GF$ is an isomorphism.