モノイド否定

• strictly involutive symmetric monoidal vertically-and-horizontally contravariant endo-functor

長い！ ので、モノイド否定〈monoidal negation〉またはテンソル否定〈tensor negation〉と呼ぶことにする。

category with monoidal negation は、symmetric monoidal category の台の上に monoidal negation を付けたもの。対称なので、横反変でなくても同じになるが、横反変のほうが綺麗な定式化になる。

テンソル・ドミニオンの定義は、category with monoidal negation でもいいかも知れない。