翻译:带积范畴 同义词1)category with product,带积范畴2)category with product and composition,带积合成范畴3)category product,范畴乘积4)category co-product,范畴余积5)product category,积范畴6)order enriched category,带序范畴