Is there a category theory perspective on Koenig's theorem? – math.stackexchange.com
Keith J. Bauer
Koenig's theorem says that, given families of sets $(A_i)_{i \in I}$, $(B_i)_{i \in I}$, if there exists an embedding $\prod_{i \in I} B_i \hookrightarrow \coprod_{i \in I} A_i$, then for some $i \in ...