m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ お絵描き 多圏 Cが非対称（対称とは限らないという意味）厳密モノイド圏だとして、対応する多圏Poly(C)を定義する。S = |C|*（クリーネスター）として、Sは連接で厳密なモノイドになるとする。α = (A1, ..., An), β = (B1, ..., Bm) をSの要素として、PolyHom(α→β) := C(<α>, <β>) と定義する。ここで、 <α> := A1 ... An in C より正確に言えば、PolyHom(α→β) の要素は、(α, f, β) のトリプル。f∈C(<α>, <β>)。idαの定義は自明だろう。β = β(1)β(2)、φ = φ(1)φ(2) を連接に関す… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160222%2F1456122966" title="非対称厳密モノイド圏の厳密多圏 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2016-02-22 15:36:06 rich https://m-hiyama-memo.hatenablog.jp/entry/20160222/1456122966 1.0 100%