をモノイド圏とする。デカルト性も対称性も仮定しない。モノイド閉構造が次のようにして与えられているとする。 右掛け算関手 の右随伴パートナーが右指数関手 （対象部分だけでも十分） 左掛け算関手 の右随伴パートナーが左指数関手 （対象部分だけでも十…