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

Catégorie:Théorie des catégories supérieures