Коалгебра

- модуль Анад коммутативным кольцом Кс такими двумя гомоморфизмами [img: http://localhost:8080/file/021219-97.jpg] и е: [img: http://localhost:8080/file/021219-98.jpg] что диаграммы и [img: http://localhost:8080/file/021219-99.jpg] коммутативны, т. е. К. понятие дуальное (в смысле теории категорий) к понятию ассоциативной алгебры над кольцом К. [img: http://localhost:8080/file/021219-100.jpg] К. приобрели значение в связи с множеством топологич. приложений, так, например, симплициальный комплекс топологического пространства является К. Тесно связаны с К. Хопфа алгебры, несущие на себе структуры алгебры и К. одновременно.