Коалгебра

Модуль Анад коммутативным кольцом Кс такими двумя гомоморфизмами и е : что диаграммы и коммутативны, т. е. К. понятие дуальное (в смысле теории категорий) к понятию ассоциативной алгебры над кольцом К. К. приобрели значение в связи с множеством топологич. приложений, так, например, симплициальный комплекс топологического пространства является К. Тесно связаны с К. Хопфа алгебры, несущие на себе структуры алгебры и К. одновременно. Лит.:[1] Маклейн С, Гомология, пер. с англ., М., 1966. В. Е. Говоров.