compact closed category

special kind of category with "dual objects"

en-GB/ˈkɒmpækt ˈkləʊzd kætɪɡəɹiː/
en-US/ˈkɑmpækt ˈkloʊzd ˈkædəˌɡoʊɹi/

دسته بندی ها:

symmetric monoidal categoryautonomous category