*-autonomous categories of bimodules

DOI10.1016/0022-4049(94)90059-0MaRDI QIDQ1345016zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 426318 (Why is no real title available?)
• scientific article; zbMATH DE number 431760 (Why is no real title available?)
• scientific article; zbMATH DE number 4173040 (Why is no real title available?)
• scientific article; zbMATH DE number 3809805 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 17706 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 753772 (Why is no real title available?)
• scientific article; zbMATH DE number 4767 (Why is no real title available?)
• scientific article; zbMATH DE number 4122189 (Why is no real title available?)
• scientific article; zbMATH DE number 786486 (Why is no real title available?)
• scientific article; zbMATH DE number 896756 (Why is no real title available?)
• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• scientific article; zbMATH DE number 3344729 (Why is no real title available?)
• scientific article; zbMATH DE number 3384257 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A dialectica-like model of linear logic
• An axiomatics for bicategories of modules
• An extension of the Galois theory of Grothendieck
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Coherence for compact closed categories
• Free quantaloids
• From Petri nets to linear logic
• Girard quantaloids
• Ideals of closed categories
• Linear logic
• Linear logic, coherence and dinaturality
• Metric spaces, generalized logic, and closed categories
• Morita Theorems for Functor Categories
• Order ideals in categories
• Quantales and (noncommutative) linear logic
• Quantales, observational logic and process semantics
• Rings with several objects

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
• scientific article; zbMATH DE number 720881 (Why is no real title available?)
• 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)