スパイダー射の一種の掛け算
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
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
f:A→ B1, ..., Bn と g:A→ C1, ..., Cn がスパイダー射（cooperation）のとき、f▲g という射が定義できる。
fとgは形状が同じだから、重ねあわせて、域の側はそのまま、余域側はワイヤー（成分）ごとに積を作る。多圏には積があるとする。
スパイダー射のk番目の出力ワイヤーだけを取り出し、他は捨てる操作を f+k と表すと：