Monoïde (théorie des catégories)
La notion de monoïde ou d’objet monoïdal en théorie des catégories généralise la notion algébrique du même nom ainsi que plusieurs autres structures algébriques courantes. Il s'agit formellement d'un objet d'une catégorie monoïdale vérifiant certaines propriétés réminiscentes de celles du monoïde algébrique.
Définition
modifierSoit une catégorie monoïdale. Un triplet où
- M est un objet de la catégorie C ;
- est un morphisme appelé « multiplication » ;
- est un morphisme appelé « unité » ;
est appelé monoïde lorsque les diagrammes suivants commutent :
avec l'associativité, l'identité à gauche et l'identité à droite de la catégorie monoïdale.
De manière duale, un comonoïde est un monoïde sur la catégorie opposée .
Une définition équivalente est qu'un monoïde est une catégorie C-enrichie ne comportant qu'un unique objet.
Catégorie des monoïdes
modifierOn peut définir la catégorie des monoïdes sur C ayant :
- les monoïdes pour objets ;
- les morphismes préservant la structure de monoïde pour flèches.
Si et sont deux monoïdes, un morphisme préserve la structure de monoïde lorsque
- .
En particulier les foncteurs monoïdaux (en) sont toujours des morphismes de monoïdes.
Par ailleurs,
c'est-à-dire que la catégorie des monoïdes sur C s'identifie à la catégorie des algèbres sur l'opérade associative.
Exemples
modifier- Un monoïde dans est un monoïde usuel de l'algèbre ;
- Un monoïde dans est un anneau ;
- Un monoïde dans est une k-algèbre ;
- Pour toute catégorie C, la catégorie des endomorphismes [C, C] est monoïdale pour la composition, et un monoïde dans cette catégorie est une monade.
Références
modifier- (en) Saunders Mac Lane, Categories for the Working Mathematician [détail de l’édition]
- Porst, Hans-E. On categories of monoids, comonoids, and bimonoids, Quaestiones Mathematicae 31.2 (2008): 127-139.