رستۀ حاصل‌ضرب

رسته‏ای که مجموعۀ اشیای آن حاصل‌ضرب مجموعه‏های اشیای دو رستۀ مفروض و مجموعۀریختارهایش نیز حاصل‌ضرب مجموعه‏های ریختارهای آن دو رسته باشد