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)

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

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)