 Exponentiable object

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: