多项式图的一个线性范畴
A Linear Category of Polynomial Diagrams
摘要：
我们提出了一个直观线性逻辑的范畴模型，其中对象是多项式图和态射是模拟图。乘法结构（张量积及其伴随）可以定义在任何局部笛卡尔闭范畴中，而加法（积和余积）和指数张量-余积（余积）结构需要额外的性质，并且仅在集合范畴中发展，其中对象和态射在游戏，模拟和策略方面具有自然的解释。
英文摘要：
We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally cartesian closed category, whereas the additive (product and coproduct) and exponential Tensor-comonoid comonad) structures require additional properties and are only developed in the category Set, where the objects and morphisms have natural interpretations in terms of games, simulation and strategies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
