Monoidal category: Difference between revisions
(New page: {{category plus additional structure}} ==Definition== A '''monoidal category''' is a category <math>\mathcal{C}</math> equipped with an additional operation, called a monoidal operat...) |
(No difference)
|
Revision as of 01:52, 9 December 2008
This article defines a notion of a category along with some additional structure.
View other such notions
Definition
A monoidal category is a category equipped with an additional operation, called a monoidal operation:
satisfying the following conditions:
- Natural in both variables
- Has an identity upto natural isomorphism
- Associative upto natural isomorphism, where the natural isomorphism satisfies the pentagon axiom.