Introduction to linear bicategories

DOI10.1017/S0960129520003047zbMath0991.18007MaRDI QIDQ4487269

Jürgen Koslowski, R. A. G. Seely, J. Robin B. Cockett

Publication date: 4 September 2002

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

zbMATH Keywords

linear distributivity*-autonomous categorieslinear bicategorieslogic of generalized relationsnon-commutative multiplicative linear logicplanar circuit diagrams

Mathematics Subject Classification ID

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

Related Items (16)

Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories ⋮ The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ Coherent confluence modulo relations and double groupoids ⋮ Weak units, universal cells, and coherence via universality for bicategories ⋮ A categorification of quantum \(\mathfrak{sl}(2)\) ⋮ Categorifications from planar diagrammatics ⋮ On Hopf adjunctions, Hopf monads and Frobenius-type properties ⋮ Duals invert ⋮ Unnamed Item ⋮ Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups ⋮ Unnamed Item ⋮ Trace as an alternative decategorification functor ⋮ Diagrammatics for Soergel categories ⋮ Induction, Coinduction, and Adjoints ⋮ A monadic approach to polycategories ⋮ Multiplicative Linear Logics and Fibrations

This page was built for publication: Introduction to linear bicategories