Require Export monoid.
Require Export cmonoid.
Require Export abmonoid.
Require Export make_small_cat.
Module Small_Cat_of_Monoid : A_Cat_ := (Make_Small_Cat Monoid).
Module Small_Cat_of_CMonoid : A_Cat_ := (Make_Small_Cat CMonoid).
Module Small_Cat_of_AbMonoid : A_Cat_ := (Make_Small_Cat AbMonoid).