Weakly distributive categories

DOI10.1016/0022-4049(95)00160-3zbMath0867.18008OpenAlexW2018773995MaRDI QIDQ674463

J. Robin B. Cockett, R. A. G. Seely

Publication date: 24 April 1997

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(95)00160-3

zbMATH Keywords

tensor productsdistributivityKleisli categoryGentzen's cut ruleweakly distributive category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

Multiple Conclusion Linear Logic: Cut Elimination and More ⋮ The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ Bifibrations of polycategories and classical linear logic ⋮ A quantum double construction in Rel ⋮ Weak units, universal cells, and coherence via universality for bicategories ⋮ Categorical proof theory of classical propositional calculus ⋮ A micrological study of negation ⋮ A practical type theory for symmetric monoidal categories ⋮ Graphs of plural cuts ⋮ A combinatorial-topological shape category for polygraphs ⋮ A comparison between monoidal and substructural logics ⋮ Unnamed Item ⋮ Glueing and orthogonality for models of linear logic ⋮ LNL polycategories and doctrines of linear logic ⋮ Commutativity ⋮ The continuous weak order ⋮ Polycategories via pseudo-distributive laws ⋮ Sheaf representation of monoidal categories ⋮ Spinal atomic \(\lambda\)-calculus ⋮ On Hopf adjunctions, Hopf monads and Frobenius-type properties ⋮ Complemented MacNeille completions and algebras of fractions ⋮ Unnamed Item ⋮ Deep inference and probabilistic coherence spaces ⋮ Skew-monoidal categories and bialgebroids. ⋮ On cyclic star-autonomous categories ⋮ Monoidal logics: completeness and classical systems ⋮ Unnamed Item ⋮ The logic of message-passing ⋮ Unnamed Item ⋮ A linear/producer/consumer model of classical linear logic ⋮ Categories for computation in context and unified logic ⋮ Identity of Proofs Based on Normalization and Generality ⋮ Proof nets and semi-star-autonomous categories ⋮ Modularity of proof-nets. Generating the type of a module. ⋮ On categorical models of classical logic and the Geometry of Interaction ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coherence for star-autonomous categories ⋮ Proof theory in the abstract ⋮ Braided distributivity ⋮ Coherence in linear predicate logic ⋮ Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories ⋮ Unnamed Item ⋮ Dwyer–Kan homotopy theory for cyclic operads ⋮ A monadic approach to polycategories ⋮ Non decomposable connectives of linear logic ⋮ Dendriform algebras relative to a semigroup ⋮ Feedback for linearly distributive categories: Traces and fixpoints ⋮ Order-enriched categorical models of the classical sequent calculus ⋮ The parametric continuation monad ⋮ N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic

Cites Work

• Linear logic
• Natural deduction and coherence for weakly distributive categories
• A remark on Mackey-functors
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Polycategories
• An imperative language based on distributive categories
• Introduction to distributive categories
• The mix rule
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item