*-autonomous Category

*-autonomous Category

In mathematics, a *-autonomous (read "star-autonomous") category C is a symmetric monoidal closed category equipped with a dualizing object .

Read more about *-autonomous Category:  Definition, Properties, Examples, Non Symmetric Case

Famous quotes containing the word category:

    I see no reason for calling my work poetry except that there is no other category in which to put it.
    Marianne Moore (1887–1972)