cartesian closed category

Type of category in category theory

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

Catégories :

cartesian monoidal categoryclosed monoidal category