2000 character limit reached
Effective equivalence relations and principal quantales (1807.08979v2)
Published 24 Jul 2018 in math.CT and math.RA
Abstract: Stably supported quantales generalize pseudogroups and provide an algebraic context in which to study the correspondences between inverse semigroups and \'etale groupoids. Here we study a further generalization where a non-unital version of supported quantale carries the algebraic content of such correspondences to the setting of open groupoids. A notion of principal quantale is introduced which, in the case of groupoid quantales, corresponds precisely to effective equivalence relations.