Le categorie sono l'attribuzione di un predicato ad un soggetto. Sono specificamente le classi supreme di ogni predicato possibile, con cui poter ordinare tutta la realtà.