n-monoid
From Wikipedia, the free encyclopedia
In category theory, an n-monoid is an n-category with only one 0-cell. In particular, a 1-monoid is a monoid and a 2-monoid is a strict monoidal category.
[edit] References
Albert Burroni (1993). Higher dimensional word problems with applications to equational logic. Theoretical Computer Science. http://www.math.jussieu.fr/~burroni/mapage/highwordpb.pdf.
