Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3413926

Jump to:navigation, search

zbMath1120.03045MaRDI QIDQ3413926

Masahito Hasegawa, R. A. G. Seely, J. Robin B. Cockett

Publication date: 19 December 2006

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

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

zbMATH Keywords

coalgebra coherence linearly distributive categories \(*\)-autonomous category Chu construction symmetric monoidal closed category linear exponential comonad complemented objects double-involution

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Symmetric monoidal categories (19D23)

Related Items

A categorical semantics for polarized MALL, Simple free star-autonomous categories and full coherence, On cyclic star-autonomous categories, On geometry of interaction for polarized linear logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3413926&oldid=16706487"