From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6114 Path: news.gmane.org!not-for-mail From: David Leduc Newsgroups: gmane.science.mathematics.categories Subject: Re: Dual category and dual object Date: Sun, 5 Sep 2010 01:50:00 +0000 Message-ID: References: Reply-To: David Leduc NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1283701418 31822 80.91.229.12 (5 Sep 2010 15:43:38 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 5 Sep 2010 15:43:38 +0000 (UTC) Cc: categories@mta.ca To: Ross Street , Aleks Kissinger Original-X-From: majordomo@mlist.mta.ca Sun Sep 05 17:43:36 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.138]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1OsHNX-0004e3-UZ for gsmc-categories@m.gmane.org; Sun, 05 Sep 2010 17:43:36 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43334) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1OsHMJ-0007rt-4W; Sun, 05 Sep 2010 12:42:19 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1OsHMG-0005Ps-5U for categories-list@mlist.mta.ca; Sun, 05 Sep 2010 12:42:16 -0300 In-Reply-To: <3E056346-48EE-4D5C-A2FD-8008A722583A@mq.edu.au> Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6114 Archived-At: Could you please spell out what is the unit in Prof (It is not Set, is it?) and what are the units and counits for dual objects? Thanks for your help. On Sun, Sep 5, 2010, Ross Street wrote: > On 05/09/2010, at 5:41 AM, Aleks Kissinger wrote: >> In the (bi)category Prof of categories and profunctors, the dual of an >> object is the dual category. Profunctors most certainly came later >> than the notions of categorical dual and dual objects (or at least >> their concrete counterparts, dual spaces), so this might just be a >> happy coincidence. > > Very well put! > I might add that an extra point needed is that Prof is a monoidal bicategory > where the tensor product is the cartesian product of categories (it is not > the cartesian product in Prof). And yes, Prof is compact, autonomous, > rigid, whichever word you prefer, and the dual in Prof of a category A > is A^{op}. In reading the literature, note that other names for Prof are > Dist, Bimod and Mod. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]