La construction duale de l'induction qui produit des objets sur un contexte plus large par une propriété universelle de limite ou fondée sur Hom, réalisée typiquement comme Hom_R(S, −) ou comme adjointe à droite de la restriction, fournissant l'objet « le plus général » compatible avec les données du sous-contexte selon une logique de limite.

Principe

La coinduction est organisée comme adjointe à droite de la restriction et préserve donc les limites ; elle apparaît souvent comme un foncteur Hom (par exemple Hom_R(S, −) ou Hom_{k[H]}(k[G], −) en théorie des représentations). Son comportement contraste avec l'induction en taille, en exactitude et en propriétés de continuité et peut nécessiter des hypothèses de complétude ou de finitude pour bien se comporter.

Démonstration

Pour un sous-groupe H ⊂ G et un H-module V, le module coinduit Coind_H^G V = Hom_{k[H]}(k[G], V) est un G-module dont la restriction à H se recolle à V par évaluation ; pour un morphisme d'anneaux R → S, la coinduction peut s'exprimer par Hom_R(S, M) qui produit, dans des contextes convenables, un S-module.

Mauvaise application

Traiter la coinduction comme interchangeable avec l'induction ou supposer qu'elle donne le même objet concret sans vérifier les conditions de finitude conduit à des erreurs : les objets coinduits peuvent être beaucoup plus volumineux ou différents dans le sens catégorique, et on peut négliger des conditions topologiques ou de continuité en milieux infinis.

Conséquence

La coinduction fournit des constructions canoniques adjointe à droite utiles pour former des coréprésentations, construire des objets injectifs et mener des arguments fondés sur des limites ; elle garantit la préservation des limites et est centrale dans les discussions d'adjonction et de dualité en algèbre homologique et en théorie des représentations.

Inversion

Le procédé dual et souvent contrasté est l'induction (adjointe à gauche) et, plus simplement, la restriction des scalaires ; tandis que l'induction génère librement depuis le bas, la coinduction produit l'objet compatible le plus large depuis le haut et se comporte de façon duale sur l'exactitude et la préservation des colimites/limites.

Limite

S'applique quand il existe un foncteur de restriction et que les objets Hom sont représentables ; des complications apparaissent pour les catégories non finies, non propres ou enrichies topologiquement où Hom doit être remplacé par Hom continu ou Hom dérivé ; la coinduction ne préserve pas nécessairement les colimites et peut exiger des hypothèses de complétude.

Tension sémantique

La tension essentielle est entre coinduction et induction : les deux déplacent des objets entre contextes par adjoints mais diffèrent sur la préservation des limites ou colimites, sur la taille et l'exactitude, et sur les conditions nécessaires pour leur coïncidence (par ex. indice fini, situations de réciprocité de Frobenius).

Synthèse

La coinduction est la construction adjointe à droite, fondée sur Hom, qui étend des objets vers un contexte plus large par une propriété universelle de type limite ; elle complète l'induction en préservant les limites et en coréprésentant des structures compatibles, et son emploi correct requiert attention à la représentabilité, la finitude et aux conditions topologiques.