Introduction to linear bicategories
From MaRDI portal
Publication:4487269
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)
linear distributivity*-autonomous categorieslinear bicategorieslogic of generalized relationsnon-commutative multiplicative linear logicplanar circuit diagrams
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
