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

相対的な具象圏（relatively concrete category）を考える必要がある。CがBに対して具象的って概念ね。これは、忘却関手U:C→Bがあればいい。が、忘却関手ってナニ？まず、なんかのセオリー（形式理論）Baseを考える。Baseを満たす集合論的構造をBaseのモデル…