モノイダル積とクロスケーブル

次は、(f + g)* = f* + g* を示したつもりだったが、実際はちょっと違っていた。

ちょっとの違いに関して、コンパクト閉圏を定義する の記述：

X* + Y* から X + Y へと、カーブしたワイヤーで繋ごうと思うと、ストレートワイヤーでは無理で、曲がりと共にねじりを入れる必要がある。つまり、ターニング・ジャンクションはリバース・ケーブルなのである

それと、次はなんかに使えるかも。