群与模范畴中的积和余积

• Product and coproduct of group category and module category