30 Sep
2001
30 Sep
'01
3:45 p.m.
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