m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 アミダくじによる場所（位置）の入れ替えは、置換を定義します。置換の全体を圏だと考えることができます。置換の圏を少し一般化して代入の圏を定義しましょう。一般化とは、「切れた線」と「枝分かれする線」を導入することです。単なる線（紐）だけではなく、印が付いたオダンゴを入れると、記号計算の枠組みとなる圏ができます。内容： アミダの圏と置換の圏 代入の圏 圏Substの射の表現方法 ランク付きアルファベット上の代入の圏 アミダの圏と置換の圏アミダの圏に関して僕は随分と色々書いています。 「アミダ」に関する記事一覧 比較的まとまった説明は次の2つの記事（2006年）にあります。 はじめての圏論 第7歩：ア… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20110603%2F1307062942" 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> http://www.chimaira.org/img2/artin-reductions.gif Hatena Blog https://hatena.blog 2011-06-03 10:02:22 rich https://m-hiyama.hatenablog.com/entry/20110603/1307062942 1.0 100%