In a Cartesian closed category, exponentiation satisfies . If the two exponential functors have right adjoints, their composite has the composite of those right adjoints in reverse order. Therefore a product of tiny objects is tiny. The terminal object is tiny since exponentiation by it is the identity, covering the empty product.
Articles by others on the same topic
There are currently no matching articles.