category,construction
Mod(Ab),initial object
Mod(Ab),terminal object