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_).