m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 リンク PROPは PRoduct Operations and Permutations らしい。もはや語源はどうでもよくて、PROPが豊穣圏の一般化であることが重要だと思う。X = (X, +, 0)がモノイド圏（対称とは限らない）、V = (V, ×, 1) が対称モノイド圏のとき、X上のV-豊穣圏を定義できる。これは通常の豊穣圏の定義を含み、PROPの定義と事実上同じである。以下では、用語「PROP」を「X上のV-豊穣圏」の意味で用いる。PROPは、ホム対象を対応させる H:X→V という写像とVの射の族として与えられる。 H:X→|V| (f:a→b) |→ H(f) γf,g :H(f)×… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20100730%2F1280449582" title="豊穣圏を一般化する、プロップ（PROP）とかオペラッドとか - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2010-07-30 09:26:22 rich https://m-hiyama-memo.hatenablog.jp/entry/20100730/1280449582 1.0 100%