From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6507 Path: news.gmane.org!not-for-mail From: Joachim Kock Newsgroups: gmane.science.mathematics.categories Subject: Re: colimits of polynomial functors Date: Wed, 02 Feb 2011 00:34:35 +0100 Message-ID: Reply-To: Joachim Kock NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7BIT X-Trace: dough.gmane.org 1296655997 27781 80.91.229.12 (2 Feb 2011 14:13:17 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 2 Feb 2011 14:13:17 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Wed Feb 02 15:13:12 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 1PkdSK-0008BM-D1 for gsmc-categories@m.gmane.org; Wed, 02 Feb 2011 15:13:12 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:50454) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PkdSB-0001pG-Pg; Wed, 02 Feb 2011 10:13:03 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PkdS2-0005sJ-W6 for categories-list@mlist.mta.ca; Wed, 02 Feb 2011 10:12:55 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6507 Archived-At: Hi Ondrej, > Does the category of (dependent) polynomial functors and strong > natural transformation have all/some colimits ? > In general, what is known about them ? At the risk of being off the point, I think that the colimits that exist might not have been studied much because they are often not the 'right' ones, in a sense. As an example, the polynomial functor Set -> Set, X \mapsto X^2 (represented by 1 <- 2 -> 1 -> 1) has two automorphisms (the identity and the twist), and if I am not mistaken the identity functor X \mapsto X is the coequaliser of those two in the category of polynomial functors and their strong natural transformations (just because 1 is the equaliser of the two set auts 2 -> 2). The functor that 'ought' to be the coequaliser is of course X \mapsto X^2/2, which is not polynomial. (For example it does not preserve pullbacks.) (I should add that I understand the question as concerning polynomial functors and those natural transformations compatible with the canonical tensorial strengths. If instead, according to Paul Taylor's interpretation of the question, only cartesian natural transformations are allowed, then it is easy to see that the above pair of (cartesian) natural transformations does not have a coequaliser.) Cheers, Joachim. PS: allow me to advertise a reference: [Gambino-Kock, Polynomial functors and polynomial monads, arXiv 2009]. It does not have anything about colimits, but it does say a lot about strong natural transformations, and in particular characterise them in diagrammatic terms. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]