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/

カテゴリ：

cartesian monoidal categoryclosed monoidal category