m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 計算モデルに関しては、集合圏よりむしろ便利な圏Relを紹介し、Relと似た性質を持つ圏の構成法を探ってみます。内容： 関係圏の紹介 関係圏みたいな圏 スパンの圏 集合圏のスパン圏と関係圏 関係圏の紹介AとBが集合だとして、AとBのあいだの（二項）関係とは、A×Bの部分集合Rのことです。(a, b)∈R のことを、「aとbは関係Rにある」といい、aRb のように書くこともあります。aRb という書き方は、a≦b のように、関係を二項中置演算子の形式で表現したものです。AとBのあいだの関係の全体を Rel(A, B) としましょう。関係の定義から、Rel(A, B) = Pow(A×B) （Pow… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20110520%2F1305871425" 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 2011-05-20 15:03:45 rich https://m-hiyama.hatenablog.com/entry/20110520/1305871425 1.0 100%