The cartesian closed bicategory of generalised species of structures
From MaRDI portal
Publication:5450620
DOI10.1112/jlms/jdm096zbMath1137.18003WikidataQ61834706 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
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
Related Items
Unnamed Item, Mackey-complete spaces and power series – a topological model of differential linear logic, Regular patterns, substitudes, Feynman categories and operads, Props in Network Theory, Unnamed Item, Homotopy theory of algebras of substitudes and their localisation, Coherence for bicategorical cartesian closed structure, The linear-non-linear substitution 2-monad, On the formal theory of pseudomonads and pseudodistributive laws, On operads, bimodules and analytic functors, Indexed containers, Unnamed Item, Runners for interleaving algebraic effects, Kleisli enriched, Commutativity, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, A formalized general theory of syntax with bindings: extended version, Ultrafilters, finite coproducts and locally connected classifying toposes, Relative full completeness for bicategorical Cartesian closed structure, Analytic functors between presheaf categories over groupoids, Elements of a theory of algebraic theories, The categorified Heisenberg algebra. I: A combinatorial representation., Lawvere theories, finitary monads and Cauchy-completion, Data Types with Symmetries and Polynomial Functors over Groupoids, Some reasons for generalising domain theory