(1) Institute of Mathematics and Informatics, Akademijos 4, 2600 Vilnius, Lithuania
Abstract:
We extend the well-known notions of a singleton, complete
-set, presheaf and sheaf over a complete Heyting algebra or a right-sided idempotent quantale to arbitrary involutive quantaloids. We show that sheaves on
and complete
-sets come to the same thing. This paper can be considered as a symmetric version of an earlier work of the author.