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

Bibliographie

modifier