An object in a category with finite products is exponentiable when has a right adjoint . The terminal object is exponentiable, and exponentiable objects are closed under binary products because right adjoints compose:
New to topics? Read the docs here!