In mathematics, an autonomous category is a monoidal category where dual objects exist.