autonomous category

in mathematics, a monoidal category where dual objects exist

카테고리: