An R-module M is said to be unital if R is a commutative ring with multiplicative identity 1 = 1_R and if 1m = m for all elements m element M.

category | category theory | functor | hom-set | morphism | natural isomorphism | natural transformation | object | R-module | strict tensor category | tensor R-category | unital natural transformation