I.R19 — Barr's Star-Autonomous Categories

Barr 1979: symmetric monoidal closed with dualizing object. Tensor not cartesian, no general diagonal. Models multiplicative linear logic.