昨日の記事「上空にいる足し算の親玉を捕まえる」の話ですけど、これは特定の半加法圏Cに注目して云々つうより、半加法圏の全体からなる圏SemiAddの構造をとらまえる話だろう、と思います。双積（biproduct）の定義としては、直積と直和のあいだの同型を与え…