P Resende - Journal of Pure and Applied Algebra, 2015 - Elsevier
We provide three functorial extensions of the equivalence between localic étale groupoids and their quantales. The main result is a biequivalence between the bicategory of localic …
F Flores, M Măntoiu - Topology and its Applications, 2022 - Elsevier
Topological groupoids admit various types of morphisms. We push these notions to the level of continuous groupoid actions to obtain various types of groupoid action morphisms. Some …
The purpose of this paper is to introduce a category whose objects are discrete dynamical systems $(X, P, H,\theta) $ in the sense of [6] and whose arrows will be defined starting from …
Taking advantage of the quantale-theoretic description of étale groupoids we study principal bundles, Hilsum–Skandalis maps, and Morita equivalence by means of modules on inverse …
T Fujieda, T Katsura, T Uchimura - arXiv preprint arXiv:2410.20661, 2024 - arxiv.org
We introduce a category of inverse semigroup actions and a category of\'etale groupoids. We show that there are three functors which send inverse semigroups to their spectral …
JP Quijano, P Resende - Journal of Algebra, 2021 - Elsevier
By restricting to a class of localic open groupoids G which, similarly to Lie groupoids, possess appropriate covers G ˆ→ G by étale groupoids, we extend results about groupoid …
P Resende - Advances in Mathematics, 2018 - Elsevier
We study Fell bundles on groupoids from the viewpoint of quantale theory. Given any saturated upper semicontinuous Fell bundle π: E→ G on an étale groupoid G with G 0 …
MM Alves, E Batista, FK Boeing - Journal of Noncommutative Geometry, 2023 - ems.press
In this work, the notion of a quantum inverse semigroup is introduced as a linearized generalization of inverse semigroups. Beyond the algebra of an inverse semigroup, which is …
P Resende - Applied Categorical Structures, 2018 - Springer
By a map p: Q → X p: Q→ X of involutive quantales is meant a homomorphism p^*: X → Q p∗: X→ Q. Calling a map p weakly open if p^* p∗ has a left adjoint p_! p! which satisfies the …