コンパクト閉圏を定義する その2

• コンパクト閉圏を定義する その2 ： 定義域を対象（objects）だけに限定した双対オペレータ（dualizer on objects）をベースにコンパクト閉圏を定義してみる。

僕がトレース付きモノイド圏（traced monoidal categories）やコンパクト閉圏（compact closed categories）にこだわっている理由は、いずれ書く機会があると思います。かいつまんで言えば、データ構文論とプログラム意味論の両方に対して、かなりハッキリとした見通しを与えてくれる枠組みなんですね。