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

File on IPFS

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 (8)

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 ⋮ Polynomials as spans ⋮ \(\ast\)-autonomous envelopes and conservativity ⋮ A monadic approach to polycategories ⋮ Introduction to linear bicategories

This page was built for publication: