Effective equivalence relations and principal quantales
- 11 Downloads
Stably supported quantales generalize pseudogroups and provide an algebraic context in which to study the correspondences between inverse semigroups and étale 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.
KeywordsOpen localic groupoids Effective equivalence relations Supported quantales
- 14.Quijano, J.P.: Sheaves and functoriality of groupoid quantales, Univ. Lisboa, Doctoral Thesis (2018)Google Scholar