m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 多圏 対称とは限らないモノイド圏Cから自然に厳密モノイド圏が出来て、それから多圏が作れるのだが、中間の厳密モノイド圏をシーケンス圏 Seq(C) と呼んでいた。対象の構成法はシーケンスだが、射の構成法を見るとスパイダーなので、Cのスパイダー圏 Spid(C) としよう。ZX計算のスパイダー定理（the Spider theorem）とも呼び名が一致する。スパイダー圏は、 対象はもとの圏の対象のシーケンス＝ケーブル＝ワイヤーの束 射はもとの圏の射のスパイダー 標準的な多圏は、Cのスパイダー圏とCのスワップ構造があれば、作れる。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160528%2F1464407382" 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-05-28 12:49:42 rich https://m-hiyama-memo.hatenablog.jp/entry/20160528/1464407382 1.0 100%