範疇O係半單李代數嘅模（或者推廣到 Kac-Moody 代數嘅模）構成嘅範疇，係表示論嘅基本遊戲場。當初由 I. N. Berstein、S. I. Gelfand 同 I. M. Gelfand 響渠哋響《泛涵分析同渠嘅應用》期刊（Funktinal Analiz i Igo Prilozhenia, en:Functional Analysis And Its Applications）上嘅一篇文提出，用嚟演釋 Weyl 特徵公式（en:Weyl Character Formula）。