Monoïde (théorie des catégories)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur les redirections Cet article concerne les monoïdes au sens de la théorie des catégories. Pour les monoïdes au sens de l'algèbre, qu'ils généralisent, voir monoïde.

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[modifier | modifier le code]

Soit \langle C, \otimes, I\rangle une catégorie monoïdale. Un triplet (M, \mu, \eta)

  • M est un objet de la catégorie C ;
  • \mu est un morphisme M \otimes M \to M appelé « multiplication » ;
  • \eta est un morphisme I \to M appelé « unité » ;

est appelé monoïde lorsque les diagrammes suivants commutent :

Monoid mult.png
Monoid unit.png

avec \alpha l'associativité, \lambda l'identité à gauche et \rho 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 C^{\mathrm{op}}.

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[modifier | modifier le code]

On peut définir la catégorie \mathrm{Mon}(C) des monoïdes sur C ayant :

  • les monoïdes pour objets ;
  • les morphismes préservant la structure de monoïde pour flèches.

Si (M, \mu, \eta) et (M', \mu', \eta') sont deux monoïdes, un morphisme f : M \to M' préserve la structure de monoïde lorsque

  • f\circ\mu = \mu'\circ(f\otimes f)
  • f\circ\eta = \eta'.

En particulier les foncteurs monoïdaux (en) sont toujours des morphismes de monoïdes.

Par ailleurs,

\mathrm{Mon}(C) = \mathrm{Alg}_C\mathrm{Assoc}

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 | modifier le code]

Références[modifier | modifier le code]