رستۀ جمعی

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