Étale maps of quantales. (English) Zbl 0687.06005

Quantales form an equational class of complete multiplicative lattices. A motivating example is the lattice of closed right ideals of a \(C^*\)- algebra. Commutative quantales are locales, i.e. generalized open set lattices of topological spaces. Quantales are meant as one possible approach to non-commutative topology. The present paper contributes to this program by introducing a tensor product and étale maps of quantales. Étale maps are then used for defining sheaves on quantales. The first definition of sheaves on quantales was given by M. Nawaz via quantic sets in 1985. F. Borceux and G. Van den Bossche used sites [Order 3, 61-87 (1986; Zbl 0595.18003)].
Reviewer: J.Rosický


06B23 Complete lattices, completions
06F05 Ordered semigroups and monoids
18B30 Categories of topological spaces and continuous mappings (MSC2010)


Zbl 0595.18003