Skip to main content
1 of 2
Tim Campion
  • 64k
  • 13
  • 143
  • 384

Indeed, let $D$ be a category. The canonical functor $D \to \pi_0(D)$ is a localization, and localizations are both cofinal and coinitial. Therefore, if finite coproducts commute with $D$-limits in a category $\mathcal C$, then finite coproducts commute with $\pi_0(D)$-limits. And it is easily seen that the only discrete limit shapes with which finite coproducts commute in $Set$ are the singleton ones. So as Tom Goodwillie supposed, the only limit shapes with with finite coproducts commute in $Set$ are the connected ones.

Finite coproducts are not closed -- they don't include splitting of idempotents, which commutes with any limit whatsoever. But I believe that the finite disjoint unions of absolute colimit shapes do form a closed class.

Tim Campion
  • 64k
  • 13
  • 143
  • 384