Constructing -autonomous categories. Appendix to (1979)

by P-H Chu