查看“︁2-範疇”︁的源代码

{{unreferenced|time=2014-12-28T15:35:58+00:00}}
在[[範疇論]]中，'''2-範疇'''是帶有「態射之間的態射」之範疇。可以形式地定之為在 '''Cat'''（範疇及其間[[函子]]組成的[[張量範疇]]，其張量結構由合成導出）上[[濃化範疇|濃化]]的範疇。

更明確地說，一個 2-範疇 <math>\mathcal{C}</math> 由下列資料構成：
* 由'''0維胞腔'''（或'''對象'''）組成的類，以大寫[[羅馬字母]]表之。
* 對任兩個對象 <math>A, B</math>，有一範疇 <math>\mathcal{C}(A,B)</math>，其中的對象稱為 '''1維胞腔'''，其中的態射（通常表成 <math>\alpha: f \Rightarrow g</math>）稱為 '''2維胞腔'''；此類範疇中的合成運算記作 <math>\bullet</math>，稱作'''纵合成'''。
* 對任三個對象 <math>A, B, C</math>，存在'''橫合成'''，這是一個函子
: <math>\circ: \mathcal{C}(B,C) \times \mathcal{C}(A,B) \to \mathcal{C}(A,C)</math>
它滿足結合律，而且 <math>\mathrm{id}_A</math> 有一「恆等2維胞腔」<math>\mathrm{id}_A</math>，它在橫合成下的作用一如恆等映射。

1維胞腔也稱 1-態射，2維胞腔可依此類推。

2-範疇的概念與更廣義的[[雙範疇]]不同，2-範疇中的 1-態射合成須滿足結合律，而在雙範疇中則僅須在差一個 2-同構的意義下滿足結合律。

== 參見 ==
* [[n-範疇]]

[[Category:高階範疇論]]