فرهنگستان زبان و ادب {product category} [ریاضی] رسته ای که مجموعۀ اشیای آن حاصل ضرب مجموعه های اشیای دو رستۀ مفروض و مجموعۀریختارهایش نیز حاصل ضرب مجموعه های ریختارهای آن دو رسته باشد
