以前、コンパクト閉圏における σA*,A;εA = εA* のような等式をツイスト公式（twisting formula）と呼んでいたが、ツイスト（ひねり、ねじれ、よじれ）は、別な意味で使うのでどうもマズイ。とりあえず、フリップターン公式（flip turn formula）にしておく。…