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).

There are also:

• 7 comment(s) on Section 4.2: Definitions

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).