Home
compact closed category

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ː/

Categorie:

symmetric monoidal category autonomous category