圏論の小ネタです。圏における双積（biproduct）とは、直積でもあり直和でもあるようなモノイド積です。直積の単位である終対象と直和の単位である始対象も一致し、これは零対象と呼びます。ベクトル空間の圏における直和、関係の圏における直和は、同時に直…