Girard quantaloids

DOI10.1017/S0960129500001146MaRDI QIDQ4006239zbMATH OpenOpenAlexFDO

Authors K. I. Rosenthal

Publication date 26 September 1992

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500001146

zbMATH Keywords

categories enriched in the closed monoidal category of sup-latticescyclic dualizing elementGirard quantalesGirard's linear negationquantaloids

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Ordered semigroups and monoids (06F05) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• Girard subquantales
• Girard couples of quantales
• scientific article; zbMATH DE number 1512860
• scientific article; zbMATH DE number 896756
• scientific article; zbMATH DE number 4173040
• Galois quantum systems
• A quantitative interpretation of Girard's System F
• Some properties of Girard quantales
• QUANTUM DILOGARITHM
• Multiquantaloids

Cites work

• Adjointness in Foundations
• An axiomatics for bicategories of modules
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Constructing locales from quantales
• Free quantaloids
• scientific article; zbMATH DE number 3959364 (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 46487 (Why is no real title available?)
• Linear logic
• Order ideals in categories
• Quantales and (noncommutative) linear logic
• Variation through enrichment

Cited in

(25)

• *-autonomous categories of bimodules
• Involutive and relational quantaloids
• Quantaloids, enriched categories and automata theory
• On quantaloids and quantal categories
• Frobenius quantales, Serre quantales and the Riemann-Roch theorem
• Fixed points of adjoint functors enriched in a quantaloid
• Operators in Girard quantales
• Multiquantaloids
• On fuzzification of the notion of quantaloid
• scientific article; zbMATH DE number 4173040 (Why is no real title available?)
• scientific article; zbMATH DE number 1231467 (Why is no real title available?)
• scientific article; zbMATH DE number 529899 (Why is no real title available?)
• Autonomous posets and quantales
• scientific article; zbMATH DE number 1036407 (Why is no real title available?)
• Regularity vs. constructive complete (co)distributivity
• scientific article; zbMATH DE number 1364528 (Why is no real title available?)
• scientific article; zbMATH DE number 764336 (Why is no real title available?)
• The Involutive Quantaloid of Completely Distributive Lattices
• Cyclic dualizing elements in Girard quantales
• Girard subquantales
• Diagonals between \(\mathcal{Q}\)-distributors
• Weak converse and complement for quantale-enriched profunctors
• Constructing linear bicategories
• Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
• Girard couples of quantales

This page was built for publication: Girard quantaloids

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