Weakly distributive categories

DOI10.1016/0022-4049(95)00160-3zbMATH Open0867.18008OpenAlexW2018773995MaRDI QIDQ674463FDOQ674463

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

Recommendations

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

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)

Cites Work

• Linear logic
• Polycategories
• Title not available (Why is that?)
• The mix rule
• Natural deduction and coherence for weakly distributive categories
• Title not available (Why is that?)
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Title not available (Why is that?)
• Introduction to distributive categories
• A remark on Mackey-functors
• Title not available (Why is that?)
• Title not available (Why is that?)
• An imperative language based on distributive categories

Cited In (58)

• Classical distributive restriction categories
• Exponential modalities and complementarity (extended abstract)
• A tale of additives and concurrency in game semantics
• Monoidal streams for dataflow programming
• \(\ast\)-autonomous envelopes and conservativity
• N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
• A monadic approach to polycategories
• Non decomposable connectives of linear logic
• A micrological study of negation
• Braided distributivity
• LNL polycategories and doctrines of linear logic
• Coherence in linear predicate logic
• Feedback for linearly distributive categories: Traces and fixpoints
• Linear distributivity with negation, star-autonomy, and Hopf monads
• A categorical reduction system for linear logic
• Glueing and orthogonality for models of 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
• Weak units, universal cells, and coherence via universality for bicategories
• Commutativity
• 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
• Skew-monoidal categories and bialgebroids.
• Deep inference and probabilistic coherence spaces
• Title not available (Why is that?)
• Identity of Proofs Based on Normalization and Generality
• Completely and totally distributive categories. I.
• On cyclic star-autonomous categories
• Dwyer-Kan homotopy theory for cyclic operads
• Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
• Title not available (Why is that?)
• Categories for computation in context and unified logic
• Categorical proof theory of classical propositional calculus
• The parametric continuation monad
• Coherence for star-autonomous categories
• Title not available (Why is that?)
• Dendriform algebras relative to a semigroup
• Title not available (Why is that?)
• The logic of message-passing
• Weak rigid monoidal category
• 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
• Title not available (Why is that?)
• Monoidal logics: completeness and classical systems
• Graphs of plural cuts
• Order-enriched categorical models of the classical sequent calculus
• A comparison between monoidal and substructural logics
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• Polycategories via pseudo-distributive laws
• On Hopf adjunctions, Hopf monads and Frobenius-type properties
• Spinal atomic \(\lambda\)-calculus
• A practical type theory for symmetric monoidal categories

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)