\(*\)-autonomous categories of bimodules (Q1345016)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(*\)-autonomous categories of bimodules |
scientific article |
Statements
\(*\)-autonomous categories of bimodules (English)
0 references
28 February 1995
0 references
Given a (not necessarily symmetric) \(*\)-autonomous category \({\mathcal L}\), the author shows how to define the notion of bimodule in the context of categories enriched over \({\mathcal L}\). He shows that the \(({\mathcal X},{\mathcal X})\) bimodules (where \({\mathcal X}\) is an \({\mathcal L}\)-category) form a \(*\)- autonomous category, and investigates the possibility of using such categories to provide models for non-commutative linear logic.
0 references
\(*\)-autonomous category
0 references
bimodules
0 references
non-commutative linear logic
0 references