*-Autonomous categories, revisited Original Research Article

This paper shows how the systematic use of the “Chu construction” can both strengthen and simplify the rather complicated constructions used in the original papers and lecture notes on *-autonomous categories. In effect, representation data are substituted for topological and, although this loses topological information, it retains just the right amount.