Consider an object formula _ 2 in a monoidal category formula _ 3 . The object formula _ 4 is called a left dual of formula _ 2 if there exist two morphsims
Consider an object formula 2 in a left dual category formula 3 . The object formula 4 is called a monoidal of formula 2 , if there exist two morphsims .