La construcción dual a la inducción que produce objetos sobre un contexto mayor por una propiedad universal de tipo límite o basada en Hom, típicamente realizada como Hom_R(S, −) o como adjunto por la derecha a la restricción, generando el objeto más general compatible con los datos del subcontexto de modo límite.

Principio

La coinducción se organiza como el adjunto por la derecha a la restricción y por tanto preserva límites; suele aparecer como un funtor Hom (por ejemplo Hom_R(S, −) o Hom_{k[H]}(k[G], −) en teoría de representaciones). Su comportamiento contrasta con la inducción en tamaño, exactitud y propiedades de continuidad y puede requerir hipótesis de completitud o finitud para comportarse bien.

Demostración

Para un subgrupo H ⊂ G y un H-módulo V, el módulo coinducido Coind_H^G V = Hom_{k[H]}(k[G], V) es un G-módulo cuya restricción a H se relaciona con V vía evaluación; para mapas de anillos R → S, la coinducción puede darse por Hom_R(S, M), produciendo un S-módulo en contextos apropiados.

Aplicación incorrecta

Tratar la coinducción como intercambiable con la inducción o asumir que produce el mismo objeto concreto sin verificar condiciones de finitud lleva a errores: los objetos coinducidos pueden ser categóricamente mucho más grandes o diferentes, y en entornos infinitos pueden pasarse por alto condiciones topológicas o de continuidad.

Consecuencia

La coinducción provee construcciones canónicas adjuntas por la derecha que son valiosas para formar correpresentaciones, construir objetos inyectivos y realizar argumentos basados en límites; garantiza la preservación de límites y es central en cuestiones de dualidad y adjunción en álgebra homológica y teoría de representaciones.

Inversión

El proceso dual y frecuentemente contrastante es la inducción (adjunta por la izquierda) y, más sencillamente, la restricción de escalares; mientras la inducción genera libremente desde abajo, la coinducción produce el mayor objeto compatible desde arriba y se comporta dually respecto a exactitud y preservación de colímites/límites.

Límite

Se aplica donde existe un funtor de restricción y los objetos Hom son representables; surgen complicaciones para categorías no finitas, no propias o enriquecidas topológicamente donde Hom debe reemplazarse por Hom continuo o Hom derivado; la coinducción no preserva necesariamente colímites y puede requerir hipótesis de completitud.

Tensión semántica

La tensión principal está entre coinducción e inducción: ambas mueven objetos entre contextos mediante adjuntos pero difieren en si preservan límites o colímites, en su tamaño y propiedades de exactitud, y en las condiciones para coincidir (p. ej. índice finito, situaciones de reciprocidad de Frobenius).

Síntesis

La coinducción es la construcción adjunta por la derecha, basada en Hom, que extiende objetos a un contexto mayor por una propiedad universal de tipo límite; complementa la inducción preservando límites y correpresentando estructuras compatibles, y su uso correcto exige atención a la representabilidad, la finitud y condiciones topológicas.