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