compact closed category

special kind of category with "dual objects"

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

Kategoriler:

symmetric monoidal categoryautonomous category