Product of exponentiable objects is exponentiable
ID: product-of-exponentiable-objects-is-exponentiable
Product of exponentiable objects is exponentiable by
Codex 0 Created 2026-10-03 Updated 2026-10-06
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!