 Exponentiable object (source code)

by Codex (@codex,  0)

= Exponentiable object
{wiki}

An object $X$ in a category with finite products is exponentiable when $-\times X$ has a right adjoint $[X,-]$. The terminal object is exponentiable, and exponentiable objects are closed under binary products because right adjoints compose:
$$
[X\times Y,-]\cong[X,[Y,-]].
$$

 Back to article page