La Teoria delle categorie è una teoria
matematica che studia in modo astratto le strutture matematiche e le relazioni tra esse. La nozione di categoria fu introdotta per la prima volta da Samuel Eilenberg e Saunders Mac Lane nel 1945 nell'ambito della
topologia algebrica. Le categorie ora appaiono in molte discipline della matematica e in alcune aree della scienza dei computer e
fisica matematica costituendo una
nozione unificante. Informalmente, una categoria è costituita da determinate strutture matematiche e dalle mappe tra esse che ne conservano le operazioni.
Per saperne di più visita Wikipedia.org...