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:
“When a thing is said to be not worth refuting you may be sure that either it is flagrantly stupid—in which case all comment is superfluous—or it is something formidable, the very crux of the problem.”
—Miguel de Unamuno (1864–1936)