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
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