Une catégorie, appelée ainsi parce qu'il est possible de fournir les conditions nécessaires et conjointement suffisantes pour déterminer qu'une entité appartient à une catégorie particulière. Exemples de ces catégories comprennent le baccalauréat en catégories et un nombre impair.

Néanmoins, depuis l'avènement de Eleanor Rosch du travail sur la théorie du prototype, il est devenu évident que même classiques catégories présentent des effets de typicité. Par exemple, certains membres de l'étrange Numéro de catégorie comme le 1, 3, 5 et 9 sont généralement jugés comme étant les meilleurs exemples de la catégorie que les nombres impairs élevés tels que 1001.