範疇的

範疇的是模型論的基本概念之一。指理論J的任意兩個模型都是同構的。兩個模型同構，實質上可以看作一個模型。因此，從結構的觀點看，一個理論是範疇的，指的是該理論在同構的意義下，實質上只有一個模型。範疇性通過對形式理論的模型性質的某種規定來刻畫形式理論本身的性質。

然而，只要J具有至少一個無限模型，它便不可能是範疇的了，因為根據洛文海一斯柯林定理，J一定還有許多不同基數的無限模型，而基數不同的模型間是不可能同構的。但此時，J仍可能有一種較弱的範疇性：任意兩個有相同基數a的無限模型同構。通常稱這個理論J是a-範疇的。莫萊( Morley)於1965年證明了一個重要結果：如果一個可數理論對某個不可數基數d具有a-範疇性，則它對所有的不可數基數d，都是儀-範疇的。