홈
compact closed category

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 category autonomous category