Product and coproduct of group category and module category

• 群与模范畴中的积和余积