autonomous category

in mathematics, a monoidal category where dual objects exist