n-monoid
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.
References
- Albert Burroni (1993). Higher dimensional word problems with applications to equational logic (PDF). Theoretical Computer Science.
This article is issued from Wikipedia - version of the 1/1/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.