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