Non Symmetric Case
In a biclosed monoidal category C, not necessarily symmetric, it is still possible to define a dualizing object and then define a *-autonomous category as a biclosed monoidal category with a dualizing object. They are equivalent definitions, as in the symmetric case.
Read more about this topic: *-autonomous Category
Famous quotes containing the word case:
“If someone does something we disapprove of, we regard him as bad if we believe we can deter him from persisting in his conduct, but we regard him as mad if we believe we cannot. In either case, the crucial issue is our control of the other: the more we lose control over him, and the more he assumes control over himself, the more, in case of conflict, we are likely to consider him mad rather than just bad.”
—Thomas Szasz (b. 1920)