n-monoïde
Apparence
En théorie des catégories, un -monoïde est une -catégorie ayant une unique 0-cellule. En particulier, un 1-monoïde est un monoïde et un 2-monoïde est une catégorie monoïdale stricte.
Références
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]- Albert Burroni, Higher dimensional word problems with applications to equational logic, Theoretical Computer Science, (lire en ligne)