セリンガー（Peter Selinger）がアブラムスキー／クック（Abramsky/Coecke）のstrongly compact closed categoriesに関する論文を書いている。が、"strongly"はよくないと感じたらしく、用語をdagger compact closed categoriesに直している。一般的にdagger categoryを考えることができるから、ということだ。が、compact closed categoryの定義には手を加えてない。
ところで、compact closed categoryは、rigid monoidal categoryとも呼ぶようだ。でも呼び名が変わることは文化が変わること -- 焦点がちょっと違うな。
