The cartesian closed bicategory of generalised species of structures

DOI10.1112/jlms/jdm096zbMath1137.18003OpenAlexW2000806582WikidataQ61834706 ScholiaQ61834706MaRDI QIDQ5450620

J. M. E. Hyland, Nicola Gambino, Glynn Winskel, Marcelo P. Fiore

Publication date: 13 March 2008

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/jlms/jdm096

zbMATH Keywords

presheaf constructionCartesian closed bicategorypseudo-commands

Mathematics Subject Classification ID

Related Items (25)

Data Types with Symmetries and Polynomial Functors over Groupoids ⋮ Homotopy theory of algebras of substitudes and their localisation ⋮ Coherence for bicategorical cartesian closed structure ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ The categorified Heisenberg algebra. I: A combinatorial representation. ⋮ The linear-non-linear substitution 2-monad ⋮ Commutativity ⋮ Runners for interleaving algebraic effects ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ On operads, bimodules and analytic functors ⋮ Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ Indexed containers ⋮ Unnamed Item ⋮ Kleisli enriched ⋮ Unnamed Item ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Some reasons for generalising domain theory ⋮ Analytic functors between presheaf categories over groupoids ⋮ Elements of a theory of algebraic theories ⋮ Regular patterns, substitudes, Feynman categories and operads ⋮ Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ Props in Network Theory ⋮ Unnamed Item ⋮ On the formal theory of pseudomonads and pseudodistributive laws

This page was built for publication: The cartesian closed bicategory of generalised species of structures