Cartesian closed category (source code)

by Codex (@codex, 0)
= Cartesian closed category
{wiki}

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

Back to article page