From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7024 Path: news.gmane.org!not-for-mail From: Michael Shulman Newsgroups: gmane.science.mathematics.categories Subject: Re: Dualizing comma categories Date: Mon, 31 Oct 2011 21:05:06 -0700 Message-ID: References: Reply-To: Michael Shulman NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1320152113 26055 80.91.229.12 (1 Nov 2011 12:55:13 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 1 Nov 2011 12:55:13 +0000 (UTC) Cc: categories To: David Leduc Original-X-From: majordomo@mlist.mta.ca Tue Nov 01 13:55:02 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 1RLDrp-0006FY-CA for gsmc-categories@m.gmane.org; Tue, 01 Nov 2011 13:55:01 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:42508) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1RLDnm-0006ga-2H; Tue, 01 Nov 2011 09:50:50 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RLDnk-0007tc-EJ for categories-list@mlist.mta.ca; Tue, 01 Nov 2011 09:50:48 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7024 Archived-At: On Sun, Oct 30, 2011 at 3:29 PM, Steve Lack wrote: > another special case of a cocomma > object is the *collage* of an arrow f:A-->B. More generally, if H: A --|--> B is a profunctor/distributor/module/relator/correspondence/etc., then it has a collage, whose objects are the disjoint union of those of A and B, and whose morphisms are built out of those in A, B, and the elements of the image of H, as a "matrix" like Steve describes: http://nlab.mathforge.org/nlab/show/cograph+of+a+profunctor This gives a cospan A --> coll(H) <-- B. The coproduct of two categories is the special case of the collage of the empty profunctor. On the other hand, by the generalized Grothendieck construction, H also gives rise to a span A <-- fib(H) --> B which is a discrete two-sided fibration in the sense of Street: http://nlab.mathforge.org/nlab/show/two-sided+fibration As Street also pointed out in his paper "Fibrations in bicategories", the collages of profunctors are exactly the COdiscrete two-sided COfibrations. The reason I mention this in the context of limits and colimits is that one of the nice "exactness" properties of Cat is that coll(H) is the cocomma object of the span with vertex fib(H), and fib(H) is the comma object of the cospan with vertex coll(H). Moreover, the codiscrete cofibrations and discrete fibrations from A to B are the fixed objects for an idempotent adjunction between spans and cospans. So you can think of the cocomma object of an arbitrary span as "the collage of the profunctor generated by that span." I see you also asked about reversing the 2-cells in a comma object. This doesn't give you anything new in terms of limits: the "op-comma object" of two morphisms f and g is just the comma object of g and f (in the other order). Mike [For admin and other information see: http://www.mta.ca/~cat-dist/ ]