Категорія добутку — категорія, що отримується з початкових категорій за допомогою їх добутку — операції, що узагальнює поняття декартового добутку множин.
Визначення Категорію добутку визначають так:
об'єкти: пари об'єктів , де — об'єкт і — об'єкт ; морфізми з в : пари морфізмів , де — морфізм у і — в ; правила композицій морфізмів: ; тотожні морфізми: .
Як і для множин, визначення тривіально узагальнюється на добуток категорій. Операція добутку комутативна та асоціативна, з точністю до ізоморфізму.
Зв'язок з іншими категоріями Функтор, область визначення якого — категорія добутку, називають біфунктором. Один з найважливіших функторів такого типу — функтор Hom.
Література Маклейн С. Глава 2. Конструкции в категориях // Категории для работающего математика = Categories for the working mathematician / Пер. с англ. под ред. В. А. Артамонова. — М.: Физматлит, 2004. — С. 43—67. — 352 с. — ISBN 5-9221-0400-4.