Una coálgebra sobre un cuerpo o anillo es un espacio lineal C provisto de una comultiplicación Δ: C→C⊗C y una co‑unidad ε: C→k que satisfacen la coasociatividad ((Δ⊗id)∘Δ=(id⊗Δ)∘Δ) y los axiomas de co‑unidad ((ε⊗id)∘Δ=id=(id⊗ε)∘Δ). Es la noción categórica dual de un álgebra al invertir las flechas.

Principio

Principio de dualidad: la estructura de coálgebra invierte la dirección de las aplicaciones algebraicas — la composición y el producto tensorial se reflejan en la coasociatividad; las corepresentaciones (comodules) dualizan la teoría de módulos.

Demostración

Ejemplo concreto: el dual lineal de un álgebra asociativa de dimensión finita hereda una estructura de coálgebra; las coálgebras de caminos de un quiver son ejemplos combinatorios donde la comultiplicación divide un camino en prefijo y sufijo.

Aplicación incorrecta

Suponer que el dual algebraico de un álgebra de dimensión infinita es automáticamente una coálgebra sin imponer una topología o sin restringir a funcionales corepresentables es un uso indebido.

Consecuencia

Las coálgebras organizan comodules y corepresentaciones, permiten construcciones de cohomología y corings, y sirven para dualizar operaciones algebraicas en contextos de dimensión finita.

Inversión

Invertir las flechas da la noción de álgebra: aplicaciones que multiplican y tienen unidad en lugar de comultiplicar y tener co‑unidad; la diferencia es la dirección de las flechas.

Límite

Formulada típicamente de forma algebraica sobre un anillo o cuerpo base; muchas afirmaciones de dualidad requieren finitud de dimensión o duales topológicos en dimensión infinita; una coálgebra no tiene por qué ser un álgebra salvo que se den estructuras adicionales.

Tensión semántica

Tensión entre coálgebra y álgebra: aunque formalmente duales, diferencias prácticas (existencia de duales, condiciones de finitud) impiden intercambiarlas en contextos de dimensión infinita.

Síntesis

Una coálgebra proporciona en un espacio lineal operaciones de escisión coasociativas y una co‑unidad, constituyendo el par conceptual dual del álgebra y ofreciendo el lenguaje categórico para corepresentaciones y construcciones cohomológicas.