Y cyfrif a dderbynnir yn helaeth o'r ffordd y mae bodau dynol yn categoreiddio hynny oedd y model cyffredin o adeg Aristotle tan ddechrau'r 1970au. Yn dal y ddamcaniaeth hon yn hynny cysyniadol ac categorïau ieithyddol wedi 'strwythur diffiniadol'. Mae hyn yn golygu bod endid yn cynrychioli aelod categori yn rhinwedd gyflawni set o amodau angenrheidiol ac yn ddigonol (ar y cyd) ar gyfer categori aelodaeth. Yr amodau hyn a elwir yn 'angenrheidiol a digon o' oherwydd eu bod yn angenrheidiol unigol ond dim ond gyda'i gilydd yn ddigon i ddiffinio categori.

Yn draddodiadol, credwyd bod amodau'r synhwyrau neu canfyddiadol mewn natur. i ddangos, ystyried y Baglor mewn categori. Ar gyfer yr endid yn perthyn i'r categori hwn, rhaid iddo gadw at yr amodau canlynol: ' Mae nad ydynt yn briod'; 'Mae' gwrywaidd'; 'Mae' oedolyn'. Mae pob un o'r amodau hyn yn angenrheidiol ar gyfer diffinio'r categori, ond mae yr un ohonynt yn unigol yn ddigonol, oherwydd 'yn ei briod nid' gallai yr un mor dal am spinster, tra 'yw' gwrywaidd' gallai yr un mor dal am gŵr, a hynny ar. Dangosodd canfyddiadau arbrofol yn ystod y 1970au a ddaeth o dan faner theori prototeip y theori clasurol o gategoreiddio i fod yn annhebygol fel model o gategoreiddio dynol.