Re: Only two SMC structures on Cat?

1 Oct 2001

      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.