A combinatorial approach to higher-order structure for polynomial functors

DOI10.4230/lipics.fscd.2022.31MaRDI QIDQ6544126

Marcelo P. Fiore, Zeinab Galal, Hugo Paquet

Publication date: 27 May 2024

zbMATH Keywords

linear logicdenotational semanticsgroupoidspolynomial functorsspecies of structuresbicategorical modelsstable domain theory

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of computing (68Qxx) 2-categories, bicategories, double categories (18N10)

This page was built for publication: A combinatorial approach to higher-order structure for polynomial functors