30 Aug
2013
30 Aug
'13
3:52 a.m.
Can anyone give me an example of a symmetric monoidal coclosed category that is not compact closed? To be clear, monoidal coclosed means (- tensor X) is *right* adjoint to the internal hom [X, -]. -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]