categoria
categoria [Der. del lat. categoria, dal gr. kategoría "attributo"] [ALG] Nell'algebra astratta, struttura algebrica costruita nel modo seguente. Sia data una famiglia M di enti matematici (detta insieme degli oggetti) e per ogni paio di oggetti x,y∈M un insieme di relazioni Hom(x,y) i cui elementi f:x→y, detti morfismi, soddisfino i seguenti assiomi: (a) dati f,g∈Hom(x,y) si può definire il morfismo composto g✄f; (b) dati f,g,h∈Hom(x,y) si ha (h°g)°f=h°(g°f); (c) per ogni oggetto x∈M esiste un morfismo 1x:x→x tale che per ogni morfismo f:x→y e per ogni morfismo g:z→x si ha f°1x=f, 1x°g=g; (d) Hom(x,y)⋂Hom(x',y')=0/ a meno che non sia x=x' e y=y'; l'insieme degli oggetti, l'insieme dei morfismi e la legge di composizione definiscono appunto la struttura chiamata categoria. La teoria delle c. è importante nei problemi di classificazione di teorie algebriche o analitiche; per es., v. algebre di operatori: I 95 a. ◆ [FAF] Ciascuno dei concetti generali ai quali si può fare ricorso per descrivere una realtà fisica o aspetti di essa, costituenti insiemi di enti simili per natura e caratteri specifici.