Catégorie monoïdale

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant les mathématiques
Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, une catégorie monoïdale est une catégorie munie d'un bifoncteur qui généralise la notion de produit tensoriel de deux structures algébriques. Intuitivement, il s'agit de l'analogue, au niveau des catégories, de la notion de monoïde, c'est-à-dire que le bifoncteur joue le rôle d'une sorte de multiplication pour les objets de la catégorie.

Définition[modifier | modifier le code]

Une catégorie monoïdale est une catégorie munie :

  • D'un bifoncteur appelé produit tensoriel.
  • D'un objet I appartenant à appelé « objet unité ».
  • D'une transformation naturelle α appelée « associateur » telle que pour tous objets A, B et C, αA,B,C soit un isomorphisme de vers . Autrement dit, α est un isomorphisme naturel du foncteur vers le foncteur .
  • De deux transformations naturelles λ et ρ induisant, pour tout objet A, des isomorphismes et .

Les conditions de cohérence pour ces transformations naturelles s'expriment par la commutativité des diagrammes suivants.

Monoidal category triangle.svg

Monoidal category pentagon.svg

Exemples[modifier | modifier le code]

Articles connexes[modifier | modifier le code]