Abstract
Any (involutive) quantale is embeddable into the quantale of ∨-endomorphismsof a Girard bimodule over Q. Any Q-module (Q-valued module) is representableas a concrete submodule of the simple involutive quantale of ∨-endomorphismsof a Girard bimodule over Q.
Similar content being viewed by others
REFERENCES
S. Abramsky and S. Vickers, Quantales, observational logic and process semantics, Math. Struct. Comp. Sci. 3 (1993) 161-227.
D. Kruml,A characterization of spatial quantales, Diploma thesis, Department of Mathematics, Masaryk University (1998). [in Czech].
B. Magajna, Hilbert modules and tensor products of operator spaces, in Linear Operators Banach Center Publications, Vol. 38, (1997), pp. 227-246.
C. J. Mulvey and J. W. Pelletier, A quantisation of points, J. Pure Appl. Algebra, in press.
J. Paseka, Simple quantales, in Proceedings of the Eighth Prague Topological Symposium 1996 (Topology Atlas 1997), pp. 314-328
J. Paseka and D. Kruml, Embeddings of quantales into simple quantales, J. Pure Appl.Algebra, in press.
J. Paseka, A note on quantale modules, preprint (1998).
J.W. Pelletier and J. Rosicky´, Simple involutive quantales, J. Algebra 195 (1997) 367-386.
P. Resende, Quantales, finite observations and strong bisimulation, Dept. Math., Instituto Superior Te´cnico, preprint 26/97 (1997).
K. I. Rosenthal, Quantales and Their Applications, Longman, Essex (1990).
K. I. Rosenthal, The Theory of Quantaloids, Longman, Essex (1996).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Paseka, J. A Note on Girard Bimodules. International Journal of Theoretical Physics 39, 805–812 (2000). https://doi.org/10.1023/A:1003622828739
Issue Date:
DOI: https://doi.org/10.1023/A:1003622828739