Re: colimits of polynomial functors

On 31 Jan 2011, at 15:13, Ondrej Rypacek wrote:

Dear all

Does the category of (dependent) polynomial functors and strong natural transformation have all/some colimits ? In general, what is known about them ?

Many thanks! Ondrej

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

There are not closed under coequalizers, eg. we can obtained unordered pairs as the coequalizer of id,swap : AxA -> AxA where swao (x,y) = (y,x). To include those one has to move to (what we called) "quotient containers" generalizing analytical functors. Thorsten [For admin and other information see: http://www.mta.ca/~cat-dist/ ]