Monoidal category: Difference between revisions

From Cattheory
(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.