\(*\)-autonomous categories of bimodules
type: Item
instance of: scholarly article
title: \(*\)-autonomous categories of bimodules
zbMATH Open document ID: 0819.18005
DOI: 10.1016/0022-4049(94)90059-0
published in: Journal of Pure and Applied Algebra
publication date: 1995-02-28T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 18D20
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 727073
zbMATH Keywords: \(*\)-autonomous category
zbMATH Keywords: bimodules
zbMATH Keywords: non-commutative linear logic
author: K. I. Rosenthal
reviewed by: Peter Johnstone
MaRDI profile type: Publication
full work available at URL: 0022-4049(94)90059-0
OpenAlex ID: W2086377938
cites work: Quantales, observational logic and process semantics
cites work: Q5620723
cites work: *-Autonomous categories and linear logic
cites work: Q3658172
cites work: Linear logic, coherence and dinaturality
cites work: An axiomatics for bicategories of modules
cites work: Order ideals in categories
cites work: Q3138536
cites work: A dialectica-like model of linear logic
cites work: Linear logic
cites work: An extension of the Galois theory of Grothendieck
cites work: Q5654206
cites work: Q3934579
cites work: Coherence for compact closed categories
cites work: Q4735315
cites work: Q4940719
cites work: Q4698605
cites work: Q4842967
cites work: Metric spaces, generalized logic, and closed categories
cites work: Q3975037
cites work: From Petri nets to linear logic
cites work: Rings with several objects
cites work: Morita Theorems for Functor Categories
cites work: Ideals of closed categories
cites work: Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
cites work: Q3996704
cites work: Q3197878
cites work: Free quantaloids
cites work: Girard quantaloids
cites work: Q3137166
cites work: Q4884543
cites work: Q4712651
cites work: Q3827993
cites work: Q4495851
cites work: Quantales and (noncommutative) linear logic
description: scientific article; zbMATH DE number 727073