Projective and injective objects in the category of quantales

Journal of Pure and Applied Algebra

Volumn 176, Issue 2-3, 2002, Pages 249-258

  Yong Ming, Li ^a   Meng, Zhou ^b   Zhi Hui, Li ^a  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b BEIHANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037168439     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(02)00064-6     Document Type: Article

References (20)

1. S. Abramsky, S. Vickers, Quantales, observational logic, and process semantics, Math. Struct. Comput. Sci. 3 (3) (1993) 161-227.
2. B. Banaschewiski, On the topologies of injective spaces, in: R.E. Hoffmann, K.H. Hofman (Eds.), Continuous Lattices and Their Applications, Lecture Notes in Pure and Applied Mathematics, Vol. 101, Marcel Deckker, New York, 1985, pp. 1-8.
3. B. Banaschewiski, S.B. Niefield, Projective and supercoherent frames, J. Pure Appl. Algebra 70 (1991) 45-51.
4. G.W. Crown, Projectives and injectives in the category of complete lattices with residuated mappings, Math. Ann. 187 (1970) 295-299.
5. R.P. Dilworth, Noncommutative residuated lattices, Trans. Amer. Math. Soc. 46 (1939) 426-444.
6. G. Gierz, K.H. Hoffmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, A Compendium of Continuous Lattices, Springer, Berlin, 1980.
7. J.Y. Girard, Linear logic, Theoret. Comp. Sci. 50 (1987) 1-102.
8. T.W. Hungerford, Algebra, Springer, Berlin, 1980.
9. P.T. Johnstone, Stone Spaces, Cambridge University Press, Cambridge, 1982.
10. Y.M. Li, Non-commutative linear logic and its quantale semantics, J. Shaanxi Normal University 29 (2) (2001) 1-5 (in Chinese).
11. Y.M. Li, Z.H. Li, Quantales and process semantics of bisimulation, Acta Math. Sinica 42 (3) (1999) 313-320 (in Chinese).
12. C.J. Mulvey, &, Suppl. Rend. Circ. Mat. Palermo Ser.II 12 (1986) 99-104.
13. C.J. Mulvey, J.W. Pelletier, On the quantisation of point, J. Pure Appl. Algebra 159 (2001) 231-295.
14. J. Paseka, D. Kruml, Embeddings of quantales into simple quantales, J. Pure Appl. Algebra 148 (2000) 209-216.
15. J.W. Pelletier, J. Rosicky, Simple involutive quantales, J. Algebra 195 (1997) 367-386.
16. K.I. Rosenthal, Quantales and Their Applications, Longman Scientific and Technical, London, 1990.
17. B. Schweizer, A. Sklar, Statistical metric spaces, PaciLc J. Math. 10 (1960) 313-334.
18. M. Ward, Structure residuation, Ann. Math. 39 (1938) 558-569.
19. M. Ward, R.P. Dilworth, Residuated lattices, Trans. Amer. Math. Soc. 45 (1939) 335-354.
20. D. Yetter, Quantales and noncommutative linear logic, J. Symbolic Logic 55 (1990) 41-64.