Full Subcategory: FinGrp ⊊ Grp

FinGrp is a full subcategory of Grp. When any two groups of Grp are finite groups in FinGrp, all group maps between them are group maps in FinGrp too. Put another way, FinGrp has only some of the objects of Grp, but all of the arrows.

In terms of stuff, structure, and properties, finite groups are like groups but with extra properties.

full_subcategories: FinGrp, Grp

This data as json