Definition
Let C be a symmetric monoidal closed category. For any object A and, there exists a morphism
defined as the image by the bijection defining the monoidal closure, of the morphism
An object of the category C is called dualizing when the associated morphism is an isomorphism for every object A of the category C.
Equivalently, a *-autonomous category is a symmetric monoidal category C together with a functor such that for every object A there is a natural isomorphism, and for every three objects A, B and C there is a natural bijection
- .
The dualizing object of C is then defined by .
Read more about this topic: *-autonomous Category
Famous quotes containing the word definition:
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)