*-autonomous categories of bimodules

DOI10.1016/0022-4049(94)90059-0zbMATH Open0819.18005OpenAlexW2086377938MaRDI QIDQ1345016FDOQ1345016

Authors: K. 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

Recommendations

• *-Autonomous categories and linear logic
• Beyond the Chu-construction
• *-autonomous categories, revisited
• Coherence for star-autonomous categories
• Nonsymmetric \(^{\ast}\)-autonomous categories

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)

Cites Work

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

Cited In (11)

• *-autonomous categories, revisited
• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• Multiplicative linear logics and fibrations
• Notes on the bicategory of \(\mathrm{W}^\ast\)-bimodules
• On cyclic star-autonomous categories
• Quantaloids, enriched categories and automata theory
• Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
• Left linear theories -- a generalization of module theory
• On *-autonomous categories of topological modules
• Title not available (Why is that?)
• The shuffle Hopf algebra and noncommutative full completeness

This page was built for publication: \(*\)-autonomous categories of bimodules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1345016)