cartesian closed categories with one object.