It was pointed out to me that the opposite of any sym. mon. closed category is sym. mon. coclosed; for some reason I had thought it would be comonoidal, but of course it's not. On Thu, Aug 29, 2013 at 9:52 PM, Mike Stay <metaweta@gmail.com> wrote:

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/ ]

-- 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/ ]