Polycategories

DOI10.1080/00927877508822067MaRDI QIDQ4123497zbMATH OpenOpenAlexFDO

Authors Manfred E. Szabo

Publication date 1975

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00927877508822067

Mathematics Subject Classification ID

Categorical structures (18D99) Foundations, relations to logic and deductive systems (18A15)

Cites work

• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• A categorical equivalence of proofs
• Deductive systems and categories
• Functional completeness of cartesian categories

Cited in

(28)

• A practical type theory for symmetric monoidal categories
• Operads and PROPs
• A monadic approach to polycategories
• Graphs, hypergraphs, and properads
• LNL polycategories and doctrines of linear logic
• Weakly distributive categories
• Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories)
• Quantifier-complete categories
• An algebraic structure for derivations in rewriting systems
• Glueing and orthogonality for models of linear logic
• A simplicial model for infinity properads
• Proof theory in the abstract
• Bifibrations of polycategories and classical linear logic
• On rectification and enrichment of infinity properads
• Full intuitionistic linear logic
• A logical basis for quantum evolution and entanglement
• Coherence in Cartesian closed categories and the generality of proofs
• Categorical proof theory of classical propositional calculus
• Fairness and communication-based semantics for session-typed languages
• The frame problem and the semantics of classical proofs
• scientific article; zbMATH DE number 7533357 (Why is no real title available?)
• -autonomous envelopes and conservativity
• Expanding the Realm of Systematic Proof Theory
• Natural deduction and coherence for weakly distributive categories
• Graphs of plural cuts
• Polycategories via pseudo-distributive laws
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• Linear logic, coherence and dinaturality

This page was built for publication: Polycategories

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