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