In ontology, the theory of categories concerns itself with the categories of being: the highest genera or kinds of entities.[1] To investigate the categories of being, or simply categories, is to determine the most fundamental and the broadest classes of entities.[2] A distinction between such categories, in making the categories or applying them, is called an ontological distinction. Various systems of categories have been proposed, they often include categories for substances, properties, relations, states of affairs or events.[3][4] A representative question within the theory of categories might articulate itself, for example, in a query like, "Are universals prior to particulars?"