Em matemática, coálgebras são estruturas que são duais às álgebras associativas unitais. Os axiomas das álgebras associativas unitais podem ser formulados em termos de diagramas comutativos. Invertendo a direção de todas as setas se obtém os axiomas para as coálgebras.

Definição formal

editar

Formalmente, uma coálgebra sobre um corpo K é um K-espaço vetorial C juntamente com as K-transformação lineares   e   tais que

  1.  
  2.  .

(Aqui  e   referem-se ao produto tensorial sobre K.)

Ver também

editar

Ligações externas

editar
  Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o. Editor: considere marcar com um esboço mais específico.