Que signifie «coalgebra» dans le contexte de la programmation?
J'ai entendu le terme "coalgebras" à plusieurs reprises dans la programmation fonctionnelle et les cercles PLT, en particulier lorsque la discussion porte sur des objets, des comonades, des lentilles, etc. Googler ce terme donne des pages qui donnent une description mathématique de ces structures...