Tiny objects are closed under finite products

ID: tiny-objects-are-closed-under-finite-products

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.

New to topics? Read the docs here!