From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6502 Path: news.gmane.org!not-for-mail From: "Paul Taylor" Newsgroups: gmane.science.mathematics.categories Subject: Re: colimits of polynomial functors Date: Mon, 31 Jan 2011 18:22:27 -0000 Message-ID: References: Reply-To: "Paul Taylor" NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1296522444 5182 80.91.229.12 (1 Feb 2011 01:07:24 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 1 Feb 2011 01:07:24 +0000 (UTC) To: "Ondrej Rypacek" , categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Feb 01 02:07:20 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Pk4iF-000424-NK for gsmc-categories@m.gmane.org; Tue, 01 Feb 2011 02:07:19 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:50937) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1Pk4hu-00074W-Cg; Mon, 31 Jan 2011 21:06:58 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Pk4he-0006Tu-29 for categories-list@mlist.mta.ca; Mon, 31 Jan 2011 21:06:43 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6502 Archived-At: Ondrej Rypacek asked, > Does the category of (dependent) polynomial functors and strong > natural transformation have all/some colimits ? > In general, what is known about them ? I studied polynomial functors under the name of "stable" functors in categorical domain theory between approx 1987 and 1993: www.PaulTaylor.EU/stable/ I am guessing that, by "strong" natural transformations you mean those for which the naturality squares are pullbacks, which I called "cartesian". I studied cartesian closed 2-categories whose 1- and 2-cells are stable functors and cartesian natural transformations. Yes, there are interesting colimits here, although they are multi- or poly-valued. Multi-colimits had been introduced by Yves Diers. I don't remember who introduced poly-colimits, but these are ones indexed by groupoids instead of sets. "Quantitative Domains, Groupoids and Linear Logic" was probably my most readable paper on this topic. This kind of domain theory was begun by Gerard Berry and popularised by Jean-Yves Girard. In its categorical form, Francois Lamarche also did work of the same kind as mine, except with a weaker notion of "cartesian" that had been introduced by Andre Joyal. Paul Taylor [For admin and other information see: http://www.mta.ca/~cat-dist/ ]