Product of exponentiable objects is exponentiable

ID: product-of-exponentiable-objects-is-exponentiable

If and are exponentiable objects, then
has the composite of their exponential functors as a right adjoint. The terminal object supplies the empty product, so exponentiable objects are closed under finite products.

New to topics? Read the docs here!