categories: Re: Only two SMC structures on Cat?

[Steve Lack <stevel@maths.usyd.edu.au>]

Jason C Reed writes:
 > Power, A.J. and Robinson, E.P. Premonoidal categories and notions of
 > computation (ftp://ftp.dcs.qmw.ac.uk/pub/lfp/edmundr/premoncat.ps.gz) in
 > section 2 asserts that there is excatly one symmetric monoidal closed
 > structure on Cat besides the cartesian one. Does anyone know [the location
 > of] a proof?
 > 
 > ---Jason
 > 

It's Proposition 4 of:

Foltz, Lair, and Kelly, Algebraic categories with few moniodal
biclosed structures or none, J. Pure Appl. Alg. 17:171-177, 1980.


Steve Lack.