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.
Articles by others on the same topic
There are currently no matching articles.