m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「関係を表す矢印の形をどうしようか？」で、関係圏の射を表す矢印の描き方をウンヌンしました。あれは、矢印をグラフィックスとして描く場合のことです。手書きやテキストエディタだと、複雑な形状は無理です。それで、カラス足の矢印（下の図）を、もっと簡単に →* と表すことにしました。アスタリスク記号「*」は、正規表現で0個以上の任意個を意味するわけで、なかなか都合がいいと思いました。しばらくこれを使っていたのですが、他の記法との関係（後述）で、 →# に変更しました。まー、これでもカラス足っぽいのじゃないのかなー。単なる矢印 → は、集合圏の射、つまり普通の写像（＝全域単葉な関係）としました。部分写像、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20131004%2F1380868359" 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-10-04 15:32:39 rich https://m-hiyama.hatenablog.com/entry/20131004/1380868359 1.0 100%