Я слышал терминкоалгебрами» несколько раз в функциональном программировании и кругах PLT, особенно когда речь идет об объектах, комонадах, линзах и тому подобном. Погуглив этот термин, вы найдёте страницы, которые дают математическое описание этих структур, что для меня довольно непостижимо. Может кто-нибудь объяснить, что означают коалгебры в контексте программирования, каково их значение и как они связаны с объектами и комонадами?