Sheaves on involutive quantaloids (Q1347384)

Sheaves and valued sets are well understood over a locale and there were various attempts to extend these concepts over quantales and, for valued sets, even over quantaloids (= quantales with many objects). The author introduces sheaves over involutive quantaloids and relates them to the corresponding valued sets.