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 categories; linear bicategories; logic of generalized relations; non-commutative multiplicative linear logic; planar circuit diagrams
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Unnamed Item, The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, Weak units, universal cells, and coherence via universality for bicategories, Unnamed Item, Trace as an alternative decategorification functor, Diagrammatics for Soergel categories, A categorification of quantum \(\mathfrak{sl}(2)\), Categorifications from planar diagrammatics, Duals invert, 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