A combinatorial approach to higher-order structure for polynomial functors

DOI10.4230/LIPICS.FSCD.2022.31MaRDI QIDQ6544126zbMATH OpenFDO

Authors Marcelo P. Fiore, Zeinab Galal, Hugo Paquet

Publication date 27 May 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2022.31

zbMATH Keywords

bicategorical modelsdenotational semanticsgroupoidslinear logicpolynomial functorsspecies of structuresstable domain theory

Mathematics Subject Classification ID

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

Cited in

(2)

• Stabilized profunctors and stable species of structures
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544126)