A tensor category (ℭ, ⊗, I, a, r, ℓ) is strict if the maps a, ℓ, and r are always identities. A related notion is that of a tensor R-category.

category | category theory | functor | morphism | natural isomorphism | natural transformation | object | unital natural transformation