Vol. 752. Barr, Michael 
*-Autonomous categories : with an appendix by Po-Hsiang Chu 
QA169 B3664