m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ Caty メモ 多圏 f:A→ B1, ..., Bn と g:A→ C1, ..., Cn がスパイダー射（cooperation）のとき、f▲g という射が定義できる。 f▲g : A → B1×C1, ..., Bn×Cn fとgは形状が同じだから、重ねあわせて、域の側はそのまま、余域側はワイヤー（成分）ごとに積を作る。多圏には積があるとする。スパイダー射のk番目の出力ワイヤーだけを取り出し、他は捨てる操作を f+k と表すと： (f▲g)+k = f+k▲g+k 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20120114%2F1326527660" 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 2012-01-14 16:54:20 rich https://m-hiyama-memo.hatenablog.jp/entry/20120114/1326527660 1.0 100%