autonomous category

in mathematics, a monoidal category where dual objects exist

دسته بندی ها: