Википедия
Коалгебра — математическая структура, которая двойственна к ассоциативной алгебре с единицей . Аксиомы унитарной ассоциативной алгебры могут быть сформулированы в терминах коммутативных диаграмм . Аксиомы коалгебры получаются путём обращения стрелок. Каждая коалгебра c дуальностью порождает алгебру, но не наоборот. В конечномерном случае дуальность есть в обеих направлениях. Коалгебры встречаются в разных случаях (например, универсальных обёртывающих алгебрах и ). Существует также , имеющая важные приложения в информатике .