A Linear Category of Polynomial Functors (extensional part)

DOI10.2168/LMCS-10(2:2)2014zbMath1315.03116arXiv1403.0833MaRDI QIDQ5417741

Pierre Hyvernat

Publication date: 22 May 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

linear logicpolynomial functorsDay convolution

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functor categories, comma categories (18A25)

Related Items (1)

Unnamed Item

This page was built for publication: A Linear Category of Polynomial Functors (extensional part)