Introduction to linear bicategories

DOI10.1017/S0960129520003047MaRDI QIDQ4487269zbMATH OpenFDO

Authors J. Koslowski, R. A. G. Seely, J. R. B. Cockett

Publication date 4 September 2002

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129520003047

zbMATH Keywords

*-autonomous categorieslinear bicategorieslinear distributivitylogic of generalized relationsnon-commutative multiplicative linear logicplanar circuit diagrams

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Recommendations

• scientific article; zbMATH DE number 1924508
• Diagrammatic Semantics for Digital Circuits.
• Bistructures, bidomains and linear logic
• scientific article; zbMATH DE number 2134918
• scientific article; zbMATH DE number 2134910
• Categorifying the ZX-calculus
• Linearly distributive functors
• scientific article; zbMATH DE number 1303730
• scientific article; zbMATH DE number 4021135
• From Petri nets to linear logic

Cited in

(22)

• On Hopf adjunctions, Hopf monads and Frobenius-type properties
• Rewriting modulo isotopies in pivotal linear (2,2)-categories
• Coherent confluence modulo relations and double groupoids
• Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups
• Induction, coinduction, and adjoints
• A monadic approach to polycategories
• Multiplicative linear logics and fibrations
• Trace as an alternative decategorification functor
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• Weak units, universal cells, and coherence via universality for bicategories
• Diagrammatics for Soergel categories
• A categorification of quantum \(\mathfrak{sl}(2)\)
• Exponential modalities and complementarity (extended abstract)
• Categorifications from planar diagrammatics
• Duals invert
• A diagrammatic algebra for program logics
• Diagrammatic algebra of first order logic
• When Lawvere meets Peirce: an equational presentation of Boolean hyperdoctrines
• What kind of linearly distributive category do polynomial functors form?
• The calculus of neo-Peircean relations
• Constructing linear bicategories

This page was built for publication: Introduction to linear bicategories

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