scientific article; zbMATH DE number 1924508

zbMath1022.18006MaRDI QIDQ4707046

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

Publication date: 5 June 2003

Full work available at URL: https://eudml.org/doc/122927

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modulesbicategoriesmulticategoriespolycategoriescomputads

Mathematics Subject Classification ID

Module categories in associative algebras (16D90) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, Weak units, universal cells, and coherence via universality for bicategories, A combinatorial-topological shape category for polygraphs, The logic of message-passing, A monadic approach to polycategories