théorie des catégories

Théorie fondée en 1945 par S. Eilenberg et S. MacLane, qui généralise la théorie des ensembles.

MATHÉMATIQUES

Une catégorie C est définie par la donnée de deux classes dont les éléments sont appelés respectivement objets et morphismes (ou flèches), et par une opération sur les morphismes de C. Des exemples fondamentaux de catégories sont fournis par la catégorie des ensembles ayant pour objets les ensembles et pour morphismes les applications, par les catégories d'ensembles munis de lois (groupe, anneau, corps, espace vectoriel…) ayant pour morphismes les homomorphismes.