In category theory, a (strict) 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.
Further reading
Category theory
Key concepts |
---|
Key concepts | - Category
- Abelian
- Additive
- Concrete
- Pre-abelian
- Preadditive
- Bicategory
- Adjoint functors
- CCC
- Commutative diagram
- End
- Exponential
- Functor
- Kan extension
- Morphism
- Natural transformation
- Universal property
|
---|
Universal constructions | |
---|
Algebraic categories | |
---|
Constructions on categories | |
---|
|
| |
|
---|
Key concepts | |
---|
n-categories | Weak n-categories | |
---|
Strict n-categories | |
---|
|
---|
Categorified concepts | |
---|
|
|
|
| This category theory-related article is a stub. You can help Wikipedia by expanding it. |