Una gramática categorial es un quíntupla formula_1 con las siguientes propiedades: