\(*\)-autonomous categories of bimodules

DOI10.1016/0022-4049(94)90059-0zbMath0819.18005OpenAlexW2086377938MaRDI QIDQ1345016

Kimmo I. Rosenthal

Publication date: 28 February 1995

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(94)90059-0

zbMATH Keywords

bimodules\(*\)-autonomous categorynon-commutative linear logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

The shuffle Hopf algebra and noncommutative full completeness, Quantaloids, enriched categories and automata theory, Chu connections and back diagonals between \(\mathcal{Q}\)-distributors, On cyclic star-autonomous categories, Unnamed Item, Multiplicative Linear Logics and Fibrations, \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic

Cites Work

• Linear logic
• Linear logic, coherence and dinaturality
• Free quantaloids
• Order ideals in categories
• Ideals of closed categories
• Coherence for compact closed categories
• An axiomatics for bicategories of modules
• Rings with several objects
• An extension of the Galois theory of Grothendieck
• Quantales and (noncommutative) linear logic
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• *-Autonomous categories and linear logic
• Girard quantaloids
• Metric spaces, generalized logic, and closed categories
• Quantales, observational logic and process semantics
• From Petri nets to linear logic
• A dialectica-like model of linear logic
• Morita Theorems for Functor Categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item