A cartesian closed category, also known as a CCC, is a previewcartesian category equiped with an internal hom object, also known as an exponential.Cartesian Closed Category