A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
Discrete Generalised Polynomial Functors
[chapter]
2012
Lecture Notes in Computer Science
We study generalised polynomial functors between presheaf categories, developing their mathematical theory together with computational applications. The main theoretical contribution is the introduction of discrete generalised polynomial functors, a class that lies in between the classes of cocontinuous and finitary functors, and is closed under composition, sums, finite products, and differentiation. A variety of applications are given: to the theory of nominal algebraic effects; to the
doi:10.1007/978-3-642-31585-5_22
fatcat:uxt3ecyrbvejdiazdgdfedviru