* Symmetric monoidal coclosed but not compact closed?
@ 2013-08-30 3:52 Mike Stay
2013-09-01 1:26 ` Mike Stay
0 siblings, 1 reply; 2+ messages in thread
From: Mike Stay @ 2013-08-30 3:52 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Symmetric monoidal coclosed but not compact closed?
2013-08-30 3:52 Symmetric monoidal coclosed but not compact closed? Mike Stay
@ 2013-09-01 1:26 ` Mike Stay
0 siblings, 0 replies; 2+ messages in thread
From: Mike Stay @ 2013-09-01 1:26 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2013-09-01 1:26 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-08-30 3:52 Symmetric monoidal coclosed but not compact closed? Mike Stay
2013-09-01 1:26 ` Mike Stay
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).