Emergent Mind
A Linear Category of Polynomial Functors (extensional part)
(1403.0833)
Published Mar 4, 2014
in
cs.LO
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.
We're not able to analyze this paper right now due to high demand.
Please check back later (sorry!).
Generate a summary of this paper on our Pro plan:
We ran into a problem analyzing this paper.