A linear category of polynomial diagrams

DOI10.1017/S0960129512001016zbMath1342.03044arXiv1209.0940MaRDI QIDQ5740350

Pierre Hyvernat

Publication date: 26 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1209.0940

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Graphs, diagram schemes, precategories (18A10)

Related Items

Constructive characterizations of bar subsets ⋮ Compositional Game Theory, Compositionally ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Differential interaction nets
• The differential lambda-calculus
• Containers: Constructing strictly positive types
• Programming interfaces and basic topology
• Locally cartesian closed categories and type theory
• Differential categories
• Polynomial functors and polynomial monads