 Cartesian closed category

A category with finite products is cartesian closed when every product functor $-\times A$ has a right adjoint $(-{)}^A$, called exponentiation by $A$.

A **Cartesian closed category** (CCC) is a type of category in the field of category theory, which is a branch of mathematics that studies abstract structures and their relationships. A category is defined by a collection of objects and morphisms (arrows) between these objects, satisfying certain axioms.