Categories of small groups |
Require Export group.
Require Export cgroup.
Require Export abgroup.
Require Export make_small_cat.
Module Small_Group : A_Cat_ := (Make_Small_Cat Group).
Module Small_CGroup : A_Cat_ := (Make_Small_Cat CGroup).
Module Small_AbGroup : A_Cat_ := (Make_Small_Cat AbGroup).