The Stacks project

Example 4.2.12. A homomorphism $p : G\to H$ of groups gives rise to a functor between the associated groupoids in Example 4.2.6. It is faithful (resp. fully faithful) if and only if $p$ is injective (resp. an isomorphism).