Category of groups

The category $\operatorname{Gr}$ whose objects are all groups and whose morphisms are all group homomorphisms. It is sometimes assumed that all groups studied belong to a given universal set. The category of groups is a locally small bicomplete category with null morphisms. It has a unique bicategory structure in which the admissible epimorphisms are normal (cf. Normal epimorphism), while all monomorphisms are admissible (cf. Monomorphism). Normal epimorphisms are in fact surjective homomorphisms, while monomorphisms are really injective homomorphisms. The projective objects of the category of groups are precisely the free groups (cf. Projective object of a category); the only injective objects are the unit groups, and these are also the null objects as well (cf. Injective object; Null object of a category). An axiomatic description of the category of groups was given by P. Leroux [3].

The category of groups is a special case of the general definition of a category of groups over an arbitrary category $K$. The category $\operatorname{Gr} K$ consists of all group objects (cf. Group object) in $K$ and the homomorphisms between them; this category has some of the properties of $K$; in particular, it is complete if $K$ is complete.

References[edit]