Sheaves on Involutive Quantaloids

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.