A Linear Category of Polynomial Functors extensional partReport as inadecuate




A Linear Category of Polynomial Functors extensional part - Download this document for free, or read online. Document in PDF available to download.

1 LAMA - Laboratoire de Mathématiques

Abstract : We construct a symmetric monoidal closed category of -polynomial endofunctors- as objects and -simulation cells- as morphisms. This structure is defined using universal properties without reference to representing polynomial diagrams and is reminiscent of Day-s convolution on presheaves. We then make this category into a model for intuitionistic linear logic by defining an additive and exponential structure.

Keywords : polynomial functors linear logic Day convolution





Author: Pierre Hyvernat -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents