Category of finite groups

The category of finite groups is a category where an object is a finite group and a morphism is a group homomorphism. #m/def/group It is a full subcategory of .

#state/develop | #lang/en | #SemBr