一般関手モデル：どこを一般化？ - 檜山正幸のキマイラ飼育記 一般関手モデル：インスティチューションとの関係 - 檜山正幸のキマイラ飼育記 一般関手モデル：「圏の表示」の圏 - 檜山正幸のキマイラ飼育記 一般関手モデル：相対スキーマと相対インスタンス …

とりあえず表。説明はその下。 関手オートマトン 可達性 可識性 圏論 相対分離性 相対余分離性 部分圏 余反映的部分圏 反映的部分圏 エルブラン構成 単純エルブラン構成 二重双対エルブラン構成 分離性は圏に分離対象（separator）または分離対象族（family …