セオリー論 その他 指標 インターフェイス インハビタント インスタンス、構造、モデル、代数 アビタ クラス、型クラス、モデル・代数の圏 アビタベース クラスのベースクラス、モデルのターゲット圏 全体構造はインスティチューションのなかでしか理解でき…