Discrete Generalised Polynomial Functors [chapter]

Marcelo Fiore
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
more » ... ic modelling of languages, and equational theories there of, with variable binding and polymorphism; and to the synthesis of dependent zippers.
doi:10.1007/978-3-642-31585-5_22 fatcat:uxt3ecyrbvejdiazdgdfedviru