Hilbert Q-modules and nuclear ideals in the ccategory of V-semilattices with a duality

Electronic Notes in Theoretical Computer Science

Volumn 29, Issue , 1999, Pages 240-258

  Paseka, J ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; PROBABILISTIC LOGICS; QUANTUM THEORY; SEMANTICS; TENSORS;

COMPACT OPERATORS; GEOMETRY OF INTERACTION PROGRAMME; HILBERT Q-MODULES; QUANTUM GROUPS;

BOOLEAN ALGEBRA;

EID: 18944377967     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80318-4     Document Type: Conference Paper

References (21)

1. Abramsky S., Vickers S. Quantales, observational logic and process semantics. Math. Structures Comput. Sci. 3:1993;161-227
2. S. Abramsky, Interaction categories (extended abstract), Theory and Formal Methods (Springer Workshops in Computing, Springer Verlag, 1993) 57-70.
3. Abramsky S., Jagadeesan R. New foundations for the geometry of interaction. Information and Computation. 111:1994;53-119
4. Abramsky S., Blute R., Panangaden P. Nuclear and Trace Ideals in Tensored *-Categories, preprint, http: //front.math, ucdavis.edu. 1999
5. Adámek J. Theory of Mathematical Structures. (D. Reidel Publishing Company, Dordrecht. 1983
6. Girard J.Y. Linear logic. Theoretical Computer Science. 50:1987;1-50
7. J. Y. Girard, Geometry of interaction I: interpretation of system F, Proceedings of the ASL Meeting (Padova, 1988).
8. Girard J.Y. Towards a geometry of interaction. Contemporary Mathematics. 92:1989;69-180
9. Higgs D.A., Rowe K.A. Nuclearity in the category of complete semilattices. Journal of Pure and Applied Algebra. 57:1989;67-78
10. P. T. Johnstone, Sun Shu-Hao, Weak products and Hausdorff locales, Proceedings of the Como Conference, (1992) 173-193.
11. Lance E.C. Hilbert C*-Modules (London Mathematical Society Lecture Note Series 210. 1995;Cambridge
12. Mulvey C.J. Suppl. Rend. Circ. Mat. Palermo ser. II. 12:1986;99-104
13. J. Paseka, Simple quantales, Proceedings of the Eight Prague Topological Symposium 1996 (Topology Atlas 1997) 314-328.
14. J. Paseka and D. Kruml, Embeddings of quantales into simple quantales, Journal of Pure and Applied Algebra, (in print), (1998), ftp://www.math. muni. cz/pub/math/people/ Paseka/ papers.
15. J. Paseka, A note on nuclei of quantale modules, preprint (1998), ftp: //www.math, muni. cz/pub/math/people/ Paseka/papers.
16. Pelletier J.W. J. Rosický. Simple involutive quantales. Journal of Algebra. 195:1997;367-386
17. Raney G.N. Tight Galois connections and complete distributivity. Trans. Amer. Math. Soc. 97:1960;418-426
18. Rosenthal K.I. Quantales and their applications. (Pitman Research Notes in Mathematics Series 234, Longman Scientific & Technical. 1990
19. J. Rosický, Quantaloids for concurrency, Jour, of Appl. Cat. Struct., accepted (1998), ftp://www.math.muni.cz/pub/math/people/Rosicky/papers.
20. E. A. Schreiner, Tight residuated mappings, Proc. Univ. Houston Lattice Theory Conf., (Houston, 1973) 519-530.
21. Shmuely Z. The structure of Galois connections. Pacific J. Math. 54:1974;209-225