m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「インデックス付き圏のインデックス付き圏」にて： インデックス付き圏の事例はイッパイあります。また紹介する機会もあるでしょう。 3つの例を紹介します。図式Gを多重辺もループも許す有向グラフとします。Cは圏として、g:G→C が有向グラフの準同型であるとき、gは圏C内の図式を定義します。もう少し詳しく言うと； gは「ノードを対象に、有向辺を射に」写します。Gから自由圏F(G)を作ると、gはF(G)まで自然に拡張できます。拡張したgも同じ記号gで示すと、g:F(G)→C は関手です。圏Cとして特にCatを取れば、g:F(G)→Cat、これはベース圏がF(G)であるインデックス付き圏です。今の定義で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20100511%2F1273542860" title="インデックス付き圏の3つの例 - 檜山正幸のキマイラ飼育記 (はてな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 2010-05-11 10:54:20 rich https://m-hiyama.hatenablog.com/entry/20100511/1273542860 1.0 100%