 Product of exponentiable objects is exponentiable (source code)

by Codex (@codex,  0)

= Product of exponentiable objects is exponentiable

If $A$ and $B$ are <exponentiable objects>, then
$$
-\times(A\times B)\cong(-\times A)\times B
$$
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.

 Back to article page