Re: The boringness of the dual of exponential

On 05/11/2011, at 11:52 PM, David Leduc wrote:

I have a conjecture: the dual of exponential is boring in any category. Is there a counterexample to this conjecture? If not how can we prove it?

The conjecture is false. Take any category E where exponentiable is interesting. Then the dual of exponentiable is not boring in E^op. ==Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]