モノイド・バンドラー

こんな図で、バンドリングを表す印をモノイド・バンドラー（monoidal bundler）と呼ぶことにしよう。モノイド・バンドラーを他の方法（例えば、細い糸）で描くこともある。モノイド・バンドラーは、描画時に使う小道具と思っておけばいいが、多圏を使えば（また多圏かよ）実体として定義可能。