m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 f:A→B を関係圏Relの射だとします。小文字エフだと関数（写像）のような雰囲気ですが、そうではありません。関係圏の射fは、f⊆(A×B) という部分集合です（AとBは集合）。圏の射がいつでも関数だと思い込んだりしてはいけません、そりゃとんでもない誤解ですからね。関係圏の射、つまり関係（relation）は、定義の上では部分集合ですが、それから関数を導き出すことができます。f⊆(A×B) に対して、f→とf←という関数を定義しましょう。f→とf←は関数（写像）なので集合圏Setの射となり、次のプロファイルを持ちます。ここで、Pow(A) はAのベキ集合です。 f→:A→Pow(B) in S… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130831%2F1377918991" 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/img3/olog-multi.gif Hatena Blog https://hatena.blog 2013-08-31 12:16:31 rich https://m-hiyama.hatenablog.com/entry/20130831/1377918991 1.0 100%