Dual object

From Wikipedia, the free encyclopedia

An object A of a monoidal category admits a dual when there exists an object A ^* together with two morphisms

and

such that

and

.