Abstract
We extend the well-known notions of a singleton, complete \(Q\)-set, presheaf and sheaf over a complete Heyting algebra or a right-sided idempotent quantale to arbitrary involutive quantaloids. We show that sheaves on \(Q\) and complete \(Q\)-sets come to the same thing. This paper can be considered as a “symmetric” version of an earlier work of the author.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
S. Ambler and D. Verity, Generalized logic and the representation of rings, Appl. Cat. Structures, 4, 283–296 (1996).
F. Borceux and G. Van den Bossche, Quantales and their sheaves, Order, 3, 61–87 (1986).
F. Borceux, J. Rosicky, and G. Van den Bossche, Quantales and C*-algebras, J. London Math. Soc., 40, 398–404 (1989).
G. Van den Bossche, Quantaloids and non-commutative ring representations, Appl. Cat. Structures, 3, 305–320 (1995).
M. P. Fourman and D. S. Scott, Sheaves and logic, in: Applications of Sheaves, Lecture Notes in Mathematics 753, Springer, Berlin (1979), pp. 302–401.
R. P. Gylys, Involutive and relational quantaloids, Lith. Math. J., 39(4), 376–388 (1999).
R. P. Gylys, Sheaves on quantaloids, Lith. Math. J., 40(2), 105–134 (2000).
U. Höhle, M-valued sets and sheaves over integral cl-monoids, in: Applications of Category Theory to Fuzzy Subsets, S. E. Rodabaugh et al. (Eds.), Kluwer, Boston (1992), pp. 33–72.
U. Höhle, Presheaves over GL-monoids, in: Non-classical logics and their applications to fuzzy subsets (Linz, 1992), Theory Decis. Lib. Ser. B Math. Statist. Methods, 32, Kluwer Acad. Publ., Dordrecht (1995), pp. 127–157.
U. Höhle, GL-Quantales: Q-valued sets and their singletons, Studia Logica, 61, 123–148 (1998).
F. Miraglia and U. Solitro, Sheaves over right sided idempotent quantales, L. J. of the IGPL, 6, 545–600 (1998).
C. J. Mulvey and M. Nawaz, Quantales: quantal sets, in: Non-Classical Logics and Their Applications to Fuzzy Subsets, U. Höhle, E. P. Klement (Eds.), Kluwer, Boston (1995), pp. 159–217.
C. J. Mulvey and J. W. Pelletier, A quantisation of the calculus of relations, in: Can. Math. Soc. Conf. Proc. 13, Amer. Math. Soc., Providence (1992), pp. 345–360.
J. W. Pelletier, Von Neumann algebras and Hilbert quantales, Appl. Cat. Structures, 5, 249–264 (1997).
J. W. Pelletier and J. Rosický, Simple involutive quantales, J. Algebra, 195, 367–386 (1997).
K. I. Rosenthal, Girard quantaloids, Math. Structures Comput. Sci., 2, 93–108 (1992).
K. I. Rosenthal, Quantales and Their Applications, Pitman Research Notes in Mathematics 234, Longman, Burnt Mill, Harlow (1990).
K. I. Rosenthal, The Theory of Quantaloids, Longman, Harlow (1996).
R. F. C. Walters, Sheaves and Cauchy-complete categories, Cahiers Top. et Geýom. Diff., 22, 283–286 (1981).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gylys, R.P. Sheaves on Involutive Quantaloids. Lithuanian Mathematical Journal 41, 35–53 (2001). https://doi.org/10.1023/A:1011089004460
Issue Date:
DOI: https://doi.org/10.1023/A:1011089004460