Monade (théorie des catégories)

Une monade est une construction catégorique qui mime formellement le comportement que les monoïdes ont en algèbre. Introduite par Roger Godement sous le nom de « construction standard », la notion est d'abord diffusée sous le nom de triple avant d'être baptisée monade par Jean Bénabou. Elles permettent notamment de formuler des adjonctions et ont (au travers des comonades) un rôle important en géométrie algébrique, notamment en théorie des topos. Elles permettent également de définir les , dont les . Elles constituent la théorie sous-jacente à la construction du même nom en programmation fonctionnelle. La notion apparaît pour la première fois, sous le nom de « construction standard », dans un article de Roger Godement publié en 1958. Il s'agissait en fait d'une comonade, qui permettait de résoudre un problème de cohomologie des faisceaux. La notion est reprise pour l'étude de l'homotopie des catégories par Peter Huber, qui donne notamment la preuve que toute paire d'adjoint donne lieu à une monade. En 1965, et indépendamment, Samuel Eilenberg et John Coleman Moore démontrent la réciproque. Ce sont ces derniers qui donnent le nom de « triples » à la construction. En 1963, William Lawvere propose une théorie catégorique de l'algèbre universelle. Fred Linton montre en 1966 que cette théorie peut s'exprimer en termes de monades. Les monades, issues de considérations plutôt topologiques, et a priori plus difficiles à manier que les théories de Lawvere, sont devenues la formulation la plus courante de l'algèbre universelle en termes de catégories. En 1966, Jean Bénabou propose le nom de monade lors d'une conférence. Évoquant le mot « monoide », voire « monoidal triad » en anglais, ce nom est popularisé par Saunders Mac Lane dans son livre Categories for the Working Mathematician (1971). Le lien initial avec la philosophie de Leibniz (où la monade peut être décrite comme une unité génératrice de l'univers) n'est pas avéré. Dans les années 1980, utilise les monades en informatique théorique pour modéliser certains aspects des programmes informatiques, tels que la gestion d'exceptions ou les effets de bord.

The Homotopy Theory Of Coalgebras Over Simplicial Comonads

Kathryn Hess Bellwald, Magdalena Kedziorek

We apply the Acyclicity Theorem of Hess, Kedziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from simplicial adjuncti ...

INT PRESS BOSTON, INC2019

Monade (théorie des catégories)

Homotopical relations between 2-dimensional categories and their infinity-analogues

Twisting structures and morphisms up to strong homotopy

The Homotopy Theory Of Coalgebras Over Simplicial Comonads

The Homotopy Theory Of Coalgebras Over Simplicial Comonads

Homotopical relations between 2-dimensional categories and their infinity-analogues

Twisting structures and morphisms up to strong homotopy