Exercise 5.1.7. For a group object \(G \in \Grp (C)\), construct an inverse map \((-)^{-1}\colon G \to G\) in \(C\).

Generated from the authoritative LaTeX source.