morfismo

sm. [sec. XX; dal greco morphḗ, forma]. In algebra, elemento della classe (classe dei morfismi) che, insieme alla classe degli oggetti e alle condizioni che legano le due classi, identifica una categoria. In particolare, si dice che, in una categoria, a ogni coppia di oggetti (A, B) è associato un insieme di morfismi di dominio A e codominio B che si possono comporre quando il dominio del secondo è il codominio del primo, essendo la composizione associativa quando esiste. In questo modo, si ha un quadro astratto, modelli concreti del quale si hanno prendendo come oggetti gli insiemi e come morfismi le rappresentazioni di A in B, oppure come oggetti gruppi, anelli, ecc. e come morfismi gli omomorfismi di gruppi, di anelli, ecc.