數學分支範疇論中，兩個範疇${\displaystyle {\mathcal {C,D))}$之積，是集合的笛卡兒積的延申。乘積以${\displaystyle {\mathcal {C\times D))}$表示，其結果又稱積範疇^[1]（英語：product category）。定義雙函子及多函子時，要用到積範疇。^[2]

積範疇${\displaystyle {\mathcal {C\times D))}$的組成部分有：

• 物件，為

  有序對${\displaystyle (A,B)}$，其中${\displaystyle A}$是${\displaystyle {\mathcal {C))}$的物件，而${\displaystyle B}$是${\displaystyle {\mathcal {D))}$的物件；

• 態射，由物件${\displaystyle (A_{1},B_{1})}$至物件${\displaystyle (A_{2},B_{2})}$的態射為：

  有序對${\displaystyle (f,g)}$，其中${\displaystyle f:A_{1}\to A_{2))$是${\displaystyle {\mathcal {C))}$的態射，${\displaystyle g:B_{1}\to B_{2))$是${\displaystyle {\mathcal {D))}$的態射；

• 態射間的複合運算，是逐個分量的複合：

  ${\displaystyle (f_{2},g_{2})\circ (f_{1},g_{1})=(f_{2}\circ f_{1},g_{2}\circ g_{1});}$

• 物件上的恆等態射，由各分量上的恆等態射組成：

  ${\displaystyle 1_{(A,B)}=(1_{A},1_{B}).}$

兩個小範疇之積，是其作為小範疇範疇（英语：Category of small categories）${\displaystyle \mathbf {Cat} }$的物件的乘積。定義域為積範疇的函子，也稱為雙函子。重要例子有Hom函子（英语：Hom functor），其定義域為某範疇${\displaystyle {\mathcal {C))}$及其對偶範疇（英语：Dual (category theory)）${\displaystyle {\mathcal {C))^{\mathrm {op} ))$之積：

${\displaystyle \mathrm {Hom} :{\mathcal {C))^{\mathrm {op} }\times {\mathcal {C))\to \mathbf {Set} .}$

正如二元笛卡兒積可以推廣到n元笛卡兒積，範疇的二元積亦同樣可以推廣到${\displaystyle n}$元積。若不別同構之異，則二元範疇積可交換及可結合，故此${\displaystyle n}$元推廣在理論上並無定義額外的新事物。

• Definition 1.6.5 in Borceux, Francis. Handbook of categorical algebra [範疇代數手冊]. Encyclopedia of mathematics and its applications 50-51, 53 [i.e. 52]. Volume 1. Cambridge University Press. 1994: 22. ISBN 0-521-44178-1 （英语）. 
• nLab的Product category條目
• Mac Lane, Saunders. Categories for the Working Mathematician [數學家的範疇論] Second. New York, NY: Springer New York. 1978: 49–51. ISBN 1441931236. OCLC 851741862 （英语）. 

查 论 编 范畴论 基本概念 基本概念 範疇 伴隨函子 交换图表 具體範疇 函子 态射 自然變換 泛性质 泛構造 極限 終對象 積 等化子 核（英语：Kernel (category theory)） 拉回 逆極限（英语：Inverse limit） 餘極限 始對象 餘積（英语：Coproduct） 餘等化子（英语：Coequalizer） 餘核 推出 正極限（英语：Direct limit） 代數範疇（英语：Variety (universal algebra)） 集合 關係 原群 群 阿貝爾群 環（英语：Category of rings） 域 模（英语：Category of modules） 向量空間 範疇上的構造 自由範疇（英语：Free category） 函子範疇 商範疇（英语：Quotient category） 積範疇 子範疇 高階範疇論（英语：Higher category theory） 基本概念 範疇化 濃縮範疇（英语：Enriched category） 高維代數（英语：Higher-dimensional algebra） 同倫假設（英语：Homotopy hypothesis） 模型范畴 单纯范畴 n-範疇 弱 n-範疇（英语：Weak n-categories） 雙範疇（英语：Bicategory） 偽函子（英语：Pseudo-functor） 三範疇（英语：Tricategory） 四範疇（英语：Tetracategory） 闞複形（英语：Kan complex） ∞-廣群（英语：∞-groupoid） ∞-拓撲斯（英语：∞-topos） 強 n-範疇 2-範疇 2-函子（英语：2-functor） 3-範疇（英语：3-category） 範疇化概念 2-群（英语：2-group） 2-環（英语：2-ring） En-環（英语：En-ring） (對稱（英语：Symmetric monoidal category）) 么半範疇 n-群（英语：N-group (category theory)） n-么半群（英语：n-monoid） 分類 主題 維基教科書