Polycategories

DOI10.1080/00927877508822067zbMath0353.18008OpenAlexW4230454922MaRDI QIDQ4123497

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)

Related Items (26)

Graphs, hypergraphs, and properads ⋮ The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ Bifibrations of polycategories and classical linear logic ⋮ Categorical proof theory of classical propositional calculus ⋮ An algebraic structure for derivations in rewriting systems ⋮ Natural deduction and coherence for weakly distributive categories ⋮ A practical type theory for symmetric monoidal categories ⋮ Graphs of plural cuts ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Glueing and orthogonality for models of linear logic ⋮ LNL polycategories and doctrines of linear logic ⋮ Polycategories via pseudo-distributive laws ⋮ On rectification and enrichment of infinity properads ⋮ A simplicial model for infinity properads ⋮ Weakly distributive categories ⋮ Linear logic, coherence and dinaturality ⋮ A Logical Basis for Quantum Evolution and Entanglement ⋮ Unnamed Item ⋮ Operads and PROPs ⋮ Quantifier-complete categories ⋮ Proof theory in the abstract ⋮ Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories) ⋮ Coherence in Cartesian closed categories and the generality of proofs ⋮ Expanding the Realm of Systematic Proof Theory ⋮ A monadic approach to polycategories ⋮ Full intuitionistic linear logic

Cites Work

• Unnamed Item
• A categorical equivalence of proofs
• Functional completeness of cartesian categories
• Deductive systems and categories

This page was built for publication: Polycategories