Weakly distributive categories

DOI10.1016/0022-4049(95)00160-3MaRDI QIDQ674463zbMATH OpenOpenAlexFDO

Authors J. R. 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) Eilenberg-Moore and Kleisli constructions for monads (18C20) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• scientific article; zbMATH DE number 431760
• Natural deduction and coherence for weakly distributive categories
• Linearly distributive functors

Cites work

• scientific article; zbMATH DE number 431760 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 4104952 (Why is no real title available?)
• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• scientific article; zbMATH DE number 3344729 (Why is no real title available?)
• A remark on Mackey-functors
• An imperative language based on distributive categories
• Introduction to distributive categories
• Linear logic
• Natural deduction and coherence for weakly distributive categories
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Polycategories
• The mix rule

Cited in

(58)

• Coherence in linear predicate logic
• On Hopf adjunctions, Hopf monads and Frobenius-type properties
• A comparison between monoidal and substructural logics
• A quantum double construction in Rel.
• Spinal atomic \(\lambda\)-calculus
• A monadic approach to polycategories
• Coherence for star-autonomous categories
• Non decomposable connectives of linear logic
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• The logic of message-passing
• Proof theory in the abstract
• Proof nets and semi-star-autonomous categories
• Sheaf representation of monoidal categories
• A linear/producer/consumer model of classical linear logic
• Dendriform algebras relative to a semigroup
• Weak rigid monoidal category
• Modularity of proof-nets. Generating the type of a module.
• Bifibrations of polycategories and classical linear logic
• A practical type theory for symmetric monoidal categories
• Dwyer-Kan homotopy theory for cyclic operads
• A micrological study of negation
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• Graphs of plural cuts
• Categories for computation in context and unified logic
• Feedback for linearly distributive categories: Traces and fixpoints
• Monoidal logics: completeness and classical systems
• Categorical proof theory of classical propositional calculus
• Linear distributivity with negation, star-autonomy, and Hopf monads
• Order-enriched categorical models of the classical sequent calculus
• Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
• The continuous weak order
• Multiple conclusion linear logic: cut elimination and more
• Identity of Proofs Based on Normalization and Generality
• On categorical models of classical logic and the Geometry of Interaction
• Skew-monoidal categories and bialgebroids.
• LNL polycategories and doctrines of linear logic
• N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
• Weak units, universal cells, and coherence via universality for bicategories
• Deep inference and probabilistic coherence spaces
• scientific article; zbMATH DE number 7439427 (Why is no real title available?)
• Commutativity
• Braided distributivity
• Complemented MacNeille completions and algebras of fractions
• A categorical reduction system for linear logic
• scientific article; zbMATH DE number 7359406 (Why is no real title available?)
• Polycategories via pseudo-distributive laws
• The parametric continuation monad
• Completely and totally distributive categories. I.
• scientific article; zbMATH DE number 7533330 (Why is no real title available?)
• On cyclic star-autonomous categories
• scientific article; zbMATH DE number 5526292 (Why is no real title available?)
• Glueing and orthogonality for models of linear logic
• A combinatorial-topological shape category for polygraphs
• A tale of additives and concurrency in game semantics
• \(\ast\)-autonomous envelopes and conservativity
• Monoidal streams for dataflow programming
• Classical distributive restriction categories
• Exponential modalities and complementarity (extended abstract)

This page was built for publication: Weakly distributive categories

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