色付きオペラッド計算

僕は、ひょっとして無意識に色付きオペラッド計算をしてるのかもしれないな。モノイド圏のハロ多圏を使っているが、多圏じゃなくて複圏にしたら、色付きオペラッド計算でしょ。オペラッドに対称群やブレイド群が作用している状況だと、対称モノイド圏やブレイド付きモノイド圏。

ラムダ抽象はオペラッドに対するマニュピュレーションだとするとうまく説明できる。ただし、[B←A] と [A→B] という指数のハーフツイストが必要になるけど。ハーフツイスト同型は、[-←-]と[-→-]を結ぶ自然変換だから、指数を反変共変双関手として導入しておかないとまずいのか。