m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ モナド 随伴に関する注意事項 - 檜山正幸のキマイラ飼育記に関連して：次の例は、http://www.math.uchicago.edu/~may/VIGRE/VIGRE2011/REUPapers/Berger.pdf から。ここ（以下のコピーのところ）で初めて記号'-|'が出てきている。随伴系の方向はペアの右の関手に合わせている（しばらく考えると分かる）。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20190111%2F1547176047" title="随伴の方向の事例 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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/img4/adjunction-notation-right-2_red.png Hatena Blog https://hatena.blog 2019-01-11 12:07:27 rich https://m-hiyama-memo.hatenablog.jp/entry/20190111/1547176047 1.0 100%