Les Catégories sont une des œuvres majeures d'Aristote qui a été placée en tête de son Organon (l'ensemble de ses traités de logique). Aristote développe dans ce traité les bases de sa logique et de son ontologie, en étudiant la façon dont l'être peut se dire dans le langage, particulièrement dans la langue grecque. Le terme de "catégorie" provient du verbe grec categorein, qui signifie "accuser". Les catégories seront ainsi les modes d'accusation de l'être, c'est-à-dire les différentes façons de signifier et de désigner ce qui est en général. L'élaboration des premiers éléments du discours sur l'être dans ce traité pose les bases de la théorie des propositions prédicatives (ou jugements), théorie qui sera exposée dans le traité qui suit les Catégories, à savoir le traité De l'interprétation, et qui sera formalisée par les logiciens modernes à la fin du XIXe siècle et au début du XXe siècle, sous le nom de calcul des prédicats. Les Catégories serviront, d'une part, de base pour la discussion de thèses ontologiques et épistémologiques à travers toute l'histoire de la philosophie, et, d'autre part, comme texte de base à la logique et la métaphysique occidentales.