Articles par tag: monads

Les monades et les adjonctions : factorisation via Kleisli et Eilenberg-Moore

Analyse des monades à travers les adjonctions de Kleisli et d'Eilenberg-Moore. Factorisation, foncteurs libres et oublieurs, catégorie des adjonctions.