Product of exponentiable objects is exponentiable
ID: product-of-exponentiable-objects-is-exponentiable
If and are exponentiable objects, thenhas 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!