Cartesian closed categories
English
Noun
Cartesian closed categories
plural of
Cartesian closed category