2010-11-12 unshaffleとクリーネスターの双対 Caty 直積と直和の双対性の意味でクリーネスターの双対を書こうとすると、対角Δの直和における対応物が必要になる。それをunshaffleとすると、begin {f | unshuffle | when {1=>pass, 2=> repeat}} がクリーネスターの双対になる。これは一体何に使えるのだろう？
