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/

Kategori:

cartesian monoidal categoryclosed monoidal category