m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ お絵描き メモ 雑記／備忘 *1参考： モノイド圏の単位対象の定義について： これ難しいやん - 檜山正幸のキマイラ飼育記 http://www.sciencedirect.com/science/article/pii/S0001870883710558 標準表現は右標準表現を考える。とりあえず絵だけ並べる。これはバックワード・リーズニングになっているので、最初が結論。補題(ア)と補題(イ)があって、それを使って結論を証明する。最初に、図式の等式的リーズニングだが、次のような推論規則がある。 反射律（公理） 対象律（推論規則） 装飾律（推論規則） 置換律（推論規則） 装飾と置換は次のよう。 特殊な状況で成立する左右の消… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20171013%2F1507892736" 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/Monoidal_category_triangle.svg.png Hatena Blog https://hatena.blog 2017-10-13 20:05:36 rich https://m-hiyama-memo.hatenablog.jp/entry/20171013/1507892736 1.0 100%