m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 多圏 モノイド多圏は次のものから構成される。 単対象：集合Oの要素。 多対象：Oの列であるO*の要素。空列はεとして、A∈A に対する[A]（長さ1の列）はしばしばAと同一視する。 多射：α、βが多対象であるとき、集合 P(α, β) の要素。 モノイド積：多対象α、βの連接をα・β と書くことにして、P(α, β)×P(γ, δ) → P(α・γ, β・δ) という演算。多射に関するモノイド積演算も「・」で書く。 カット結合：多対象ηが、β = β'・η、γ = η・γ' と書けるときに限り定義される ;η:P(α, β)×P(γ, δ) → P(α・γ', β'・δ) という演算。 さらに、 単… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20131119%2F1384846297" 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 2013-11-19 16:31:37 rich https://m-hiyama-memo.hatenablog.jp/entry/20131119/1384846297 1.0 100%