Una categoría es todo aquello que es expresado por un término, simple o complejo, que puede predicarse de otro término` Esta definición, de inspiración aristotélica y basada en la predicación, es la que propone Gracia en la disertación que sigue.