A groupoid is a category in which every morphism is an isomorphism.
The isomorphism of categories of Example 11.2.3.1.1 restricts to an isomorphism
In other words, we have an identification
\[ \left\{ \text{Groups}\right\} \cong \left\{ \text{One-object groupoids}\right\} . \]
