*-autonomous Category - Non Symmetric Case

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:

    I love to weigh, to settle, to gravitate toward that which most strongly and rightfully attracts me;Mnot hang by the beam of the scale and try to weigh less,—not suppose a case, but take the case that is; to travel the only path I can, and that on which no power can resist me. It affords me no satisfaction to commence to spring an arch before I have got a solid foundation.
    Henry David Thoreau (1817–1862)