Категорія добутку — категорія, що отримується з початкових категорій за допомогою їх добутку — операції, що узагальнює поняття декартового добутку множин.

Визначення
Категорію добутку  визначають так:

* об'єкти:
*: пари об'єктів , де  — об'єкт  і  — об'єкт ;
* морфізми з  в :
*: пари морфізмів , де  — морфізм у  і  — в ;
* правила композицій морфізмів:
*: ;
* тотожні морфізми:
*: .

Як і для множин, визначення тривіально узагальнюється на добуток  категорій. Операція добутку комутативна та асоціативна, з точністю до ізоморфізму.

Зв'язок з іншими категоріями
Функтор, область визначення якого — категорія добутку, називають біфунктором. Один з найважливіших функторів такого типу — функтор Hom.

Література
* Маклейн С. Глава 2. Конструкции в категориях // Категории для работающего математика = Categories for the working mathematician / Пер. с англ. под ред. В. А. Артамонова. — М.: Физматлит, 2004. — С. 43—67. — 352 с. — .

