n-monoïde
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
modifierBibliographie
modifier- Albert Burroni, Higher dimensional word problems with applications to equational logic, Theoretical Computer Science, (lire en ligne)