The cartesian closed bicategory of generalised species of structures
From MaRDI portal
Publication:5450620
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
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items
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