Open maps of involutive quantales
arXiv:1706.04909 · doi:10.1007/s10485-017-9506-y
Abstract
By a map of involutive quantales is meant a homomorphism . Calling a map weakly open if has a left adjoint which satisfies the Frobenius reciprocity condition (i.e., is a homomorphism of -modules), we say that is open if it is stably weakly open. We also study a two-sided version, FR2, of the Frobenius reciprocity condition, and show that the weakly open surjections that satisfy FR2 are open. Maps of the latter kind arise in the study of Fell bundles on groupoids.
Version 2 contains a more detailed description of the coproduct of involutive quantales