closed category

category with an internal hom functor

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

Categories:

category