Definition:Group Category

From ProofWiki
Jump to navigation Jump to search

Definition

Let $G$ be a group.


The group category of $G$ is the monoid category of $G$.