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