رسته پیش جمعی
pre-additive category
additive Abelian group
گروه آبلی جمعی
Abelian group
گروه آبلی