 Faithful left adjoint criterion

For $F⊣G$, the left adjoint $F$ is faithful exactly when every unit component ${\eta }_A:A\to GFA$ is a monomorphism. Under the adjunction, equality after ${\eta }_A$ corresponds precisely to equality after applying $F$.