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