コンウェイ随伴とコンウェイ／淡中随伴

コンウェイ随伴はコンウェイ半環（等式的クリーネ／コゥゼン半環）係数の行列圏に行列スター公式を入れた圏が、制限付きのトレース付き半加法圏と圏同値であることを主張する。コンウェイ／淡中随伴は、コンウェイ随伴を淡中双対性の枠内で考えたもの。