catégorie

ALGEBRE
ANALYSE
ARITHMETIQUE
AUTRES DISCIPLINES

Une catégorie est un type de structure mathématique, pour laquelle il existe des processus préservant sa structure.(Voir théorie des catégories ) . De tels processus sont appelés foncteurs. Un foncteur associe à chaque objet d’une catégorie un objet d’une autre catégorie, et à chaque morphisme d’une catégorie un morphisme dans l’autre catégorie.