closed category

category with an internal hom functor

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

Категорії:

category