Une application entre catégories qui associe à chaque objet et morphisme de la catégorie source un objet et un morphisme dans la catégorie cible tout en préservant les identités et la composition (covariant) ou en inversant les flèches (contravariant via la catégorie opposée).

Principe

Un foncteur traduit la structure catégorique : il préserve l'algèbre de composition des morphismes et les identités de sorte que les constructions catégoriques (limites, colimites, naturalité) soient respectées ou reliées de façon cohérente entre catégories.

Démonstration

Foncteur oubli U : Groupes → Ensembles qui associe à chaque groupe son ensemble sous‑jacent et à chaque homomorphisme la fonction sous‑jacente ; le foncteur Hom(A, -) envoie objets sur ensembles de morphismes et morphismes sur applications de pré- ou post‑composition.

Mauvaise application

Prendre pour foncteur un simple envoi sur objets sans spécifier les images des morphismes ou sans vérifier les lois d'identité/composition ; supposer qu'un foncteur est plein, fidèle ou essentiellement surjectif sans vérification.

Conséquence

Les foncteurs permettent le transport de structures, la comparaison de catégories, la conception de transformations naturelles et l'énonciation d'équivalences et d'adjonctions ; ils rendent concrètes et composables les relations abstraites.

Inversion

Une simple correspondance d'objets qui ignore les morphismes ou la composition n'est pas un foncteur ; une telle inversion empêche le raisonnement sur diagrammes et naturalité.

Limite

Il faut spécifier l'action sur objets et morphismes et satisfaire la fonctorialité (préserver identités et compositions) ; covariant versus contravariant doit être explicite. Les généralisations en catégories supérieures (2‑foncteurs, ∞‑foncteurs) étendent l'idée.

Tension sémantique

Foncteur versus simple application d'objets : un foncteur doit traiter les morphismes de façon cohérente ; confusion fréquente entre envois d'ensembles et foncteurs catégoriques, et entre comportements covariant et contravariant.

Synthèse

Un foncteur est le traducteur systématique entre catégories qui transporte objets et flèches en respectant l'algèbre de composition et les identités, permettant une comparaison et un transfert cohérents de la structure catégorique.