nLab strict monoidal category

Context

Monoidal categories

monoidal categories

With traces

• trace

• traced monoidal category?

Contents

Definition

A monoidal category is strict if its associator, left unitor and right unitor are identity natural transformations.

Revised on January 24, 2013 22:21:30 by Urs Schreiber (82.113.99.233)