رستۀ جمعی

رسته‏ای با شی‏ء صفر (null object) که به ازای هر دو شی‏ء X و Yریختارهای (X,Y)Hom تشکیل یک گروه جمعی دهند و ترکیب ریختارها از هر دو سو پخشی یا توزیعی باشند و حاصل‌ضرب و هم‌حاصل‌ضرب هر دو شی‏ء موجود باشند