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