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