A Linear Category of Polynomial Functors extensional partReportar como inadecuado




A Linear Category of Polynomial Functors extensional part - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Pierre Hyvernat -

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



DESCARGAR PDF




Documentos relacionados