Constructing ∗-autonomous categories. Appendix to [Barr (1979)

by P-H Chu
Venue:103–137. CHU CONSTRUCTION