Mathematics – Rings and Algebras
Scientific paper
2008-07-30
Journal of Pure and Applied Algebra 216 (2012) pp. 41-70
Mathematics
Rings and Algebras
62 pages. Structure of preprint has changed. It now contains the contents of former arXiv:0807.3859 (withdrawn), and the defin
Scientific paper
10.1016/j.jpaa.2011.05.002
Several notions of sheaf on various types of quantale have been proposed and studied in the last twenty five years. It is fairly standard that for an involutive quantale Q satisfying mild algebraic properties the sheaves on Q can be defined to be the idempotent self-adjoint Q-valued matrices. These can be thought of as Q-valued equivalence relations, and, accordingly, the morphisms of sheaves are the Q-valued functional relations. Few concrete examples of such sheaves are known, however, and in this paper we provide a new one by showing that the category of equivariant sheaves on a localic etale groupoid G (the classifying topos of G) is equivalent to the category of sheaves on its involutive quantale O(G). As a means towards this end we begin by replacing the category of matrix sheaves on Q by an equivalent category of complete Hilbert Q-modules, and we approach the envisaged example where Q is an inverse quantal frame O(G) by placing it in the wider context of stably supported quantales, on one hand, and in the wider context of a module theoretic description of arbitrary actions of \'etale groupoids, both of which may be interesting in their own right.
No associations
LandOfFree
Groupoid sheaves as quantale sheaves does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Groupoid sheaves as quantale sheaves, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Groupoid sheaves as quantale sheaves will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-259578