いきなりCatの余積で詰まった．積の定義はp.47にあるのだが、余積の定義は本書には見あたらないのだ．しかし、考えるとSetsと同じDisjoint Unionでいいようである．さっそくp.168の反例にあたってみる．C+CのオブジェクトはCのオブジェクトを直和成分のどち…