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)
