一般忘却関手

あっと忘れた、忘却関手概念をもう少し広くしておかないとダメだ。JSLat（ジョイン半束）とAbMon（アーベルモノイド）のように、セオリーが事実上同じってことがあるので、セオリー間の射（翻訳）を定義しないとダメだわ。インスティチューションを使わないとうまく定義できない。

後で考えて書く。