From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7030 Path: news.gmane.org!not-for-mail From: Ross Street Newsgroups: gmane.science.mathematics.categories Subject: Re: The boringness of the dual of exponential Date: Mon, 7 Nov 2011 09:59:34 +1100 Message-ID: References: Reply-To: Ross Street NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v936) Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1320620742 26580 80.91.229.12 (6 Nov 2011 23:05:42 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 6 Nov 2011 23:05:42 +0000 (UTC) Cc: categories To: David Leduc Original-X-From: majordomo@mlist.mta.ca Mon Nov 07 00:05:37 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RNBmT-00005E-71 for gsmc-categories@m.gmane.org; Mon, 07 Nov 2011 00:05:37 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:42346) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1RNBlX-0000Ch-VT; Sun, 06 Nov 2011 19:04:39 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RNBlW-0007yx-Do for categories-list@mlist.mta.ca; Sun, 06 Nov 2011 19:04:38 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7030 Archived-At: 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/ ]