m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「一般関手モデル：インスティチューションとの関係」にて： 実際のところ、特別に一般化する必要性は薄いですね、スピヴァック理論が既に十分に一般的に作られているので。 強いて一般化する点を挙げてみます。アンビエント圏をSet以外に取り替えることは既にスピヴァックがやっているので、アンビエント圏は関手モデルのパラメータです。スキーマ全体の圏Schも色々と動かせるのでパラメータなんですが、今のところスピヴァックは Sch⊆Cat を仮定しているように見受けられます。まー、スピヴァックが考えてないはずもないのですが、Sch（僕はドクトリンと呼んでます）を一般化する方向はあるでしょう。例えば、直積と終対象… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130402%2F1364860288" title="一般関手モデル：どこを一般化？ - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-04-02 08:51:28 rich https://m-hiyama.hatenablog.com/entry/20130402/1364860288 1.0 100%