範疇文法
Prim {\displaystyle {\text{Prim}}\,\!} は根源の型の有限集合,
S ∈ Tp ( Prim ) {\displaystyle S\in {\text{Tp}}({\text{Prim}})}
◃ {\displaystyle \triangleleft } は語彙を意味する,型から記号への関係である.すなわち ( ◃ ) ⊆ Tp ( Prim ) × Σ {\displaystyle (\triangleleft )\subseteq {\text{Tp}}({\text{Prim}})\times \Sigma } .
語彙が有限ならば,それは, T Y P E ◃ symbol {\displaystyle TYPE\triangleleft {\text{symbol}}} というような組をリストすることで定められる.
英語における範疇文法では, N , N P , S {\displaystyle N,NP,S} を基本の型とすることが多い. 可算名詞の型は N {\displaystyle N\,\!} , 完全な名詞句の型は N P {\displaystyle NP\,\!} ,そして文の型は S {\displaystyle S\,\!} である. ここで形容詞の型は N / N {\displaystyle N/N\,\!} とできる.なぜならば形容詞は後ろの可算名詞と合わさり全体で一つの可算名詞のようにふるまうからだ. 同様に,限定詞は N P / N {\displaystyle NP/N\,\!} の型を持つ.なぜならば後ろの可算名詞と合わさり完全な名詞となるからだ.