次の列がある。 Set = Total ⊆ Partial ⊆ ND Totalは双デカルトな半環圏、NDはテンソル半加法圏、Partialはその中間のなにか。これは、ND上に積み上がった3段のパレスになっている。フレイド圏 J:C→D も埋め込みJで C⊆D と考えれば二段のパレスだ。どうもパ…