m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 圏論の基本的な記法に、dom, cod, id があります。f dom(f), f cod(f), A idA、idだけ引数〈argument〉が下付きで入るんですよね。id(A)としなかったのは、id(A)が関数のとき、関数の引数を渡すと id(A)(x) となるからでしょう。丸括弧で囲まれた引数が続く形は何故か嫌われていて、この形を避けるために下付き添字にされることは多いです（意味ね－けど）。下付きにされると困るのは、入れ子にすると読み書きが困難になることです。 HTMLの'sub'使用： idididA TeXの'_'使用： 丸括弧を使えば id(id(id(A))) とするだけです。D… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2020%2F09%2F15%2F124447" 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> https://chart.apis.google.com/chart?cht=tx&chl=%5Cmapsto Hatena Blog https://hatena.blog 2020-09-15 12:44:47 rich https://m-hiyama.hatenablog.com/entry/2020/09/15/124447 1.0 100%