Gramatyka kategorialna – rodzaj gramatyki formalnej, w której wyróżnia się: słownik będący zbiorem atomów języka opisywanego przez gramatykę, typizację początkową określającą zasady przypisywania typów elementom ze słownika oraz typ naczelny gramatyki. Teoria gramatyk kategorialnych zajmuje się zatem różnymi metodami opisu języków symbolicznych i języka naturalnego, opartymi na typizacji języka.