Коалгебра

Коалгебра — алгебра с дополнительной структурой, такой как коумножение и косложение.
Коалгебры могут быть определены как алгебры с дополнительной структурой, удовлетворяющей определенным условиям.
Коалгебры являются обобщениями конечномерных унитальных ассоциативных алгебр.
Коалгебры имеют морфизмы, которые являются K-линейными отображениями, удовлетворяющими определенным условиям.
Линейные подпространства в коалгебрах называются коидеальными и могут быть использованы для формирования коалгебр.
В конечномерном случае теории алгебр и коалгебр являются двойственными.
В бесконечномерном случае соотношения между теориями алгебр и коалгебр расходятся.

Полный текст статьи:

Коалгебра — Википедия