m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 用語法 圏一般論 ratorに関しては： rator - 檜山正幸のキマイラ飼育記 メモ編 続・rator - 檜山正幸のキマイラ飼育記 メモ編 等式的な法則〈(equational)? law | equation | identity | relation〉を自然同値や（同値とは限らない）自然変換で置き換えて圏化することがある。このときの弱化した等式を与え得る自然変換を何と呼ぶか。ratorと呼ぶことにした。そのネーミングは、法則名+or associator, left/right unitor だが、 commutative law → commutator とすると、commutator（交換子）は既… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20180423%2F1524456370" title="rator、律子再び - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2018-04-23 13:06:10 rich https://m-hiyama-memo.hatenablog.jp/entry/20180423/1524456370 1.0 100%