Категория продукта

• Категория продуктов в теории категорий является расширением понятия декартова произведения двух множеств. 
• Категории продуктов используются для определения бифункционеров и мультифункционеров. 
• Категория продуктов имеет объекты, стрелки и композицию, составленную по компонентам из различных категорий. 
• Обобщение на несколько аргументов двоичного произведения категорий аналогично обобщению на произведение n категорий. 
• Операция произведения на категории является коммутативной и ассоциативной, вплоть до изоморфизма.