Functoriality of Groupoid Quantale. II


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 quantal frames. The Hilbert module description of quantale sheaves leads naturally to a formulation of Morita equivalence in terms of bimodules that resemble imprimitivity bimodules of C*-algebras.

This is a preview of subscription content, access via your institution.


  1. 1.

    Bass, H.: Algebraic K-Theory. W. A. Benjamin, Inc., New York-Amsterdam (1968)

    Google Scholar 

  2. 2.

    Borceux, F., Vitale, E.M.: A Morita theorem in topology. Rend. Circ. Mat. Palermo (2) 29(Suppl.), 353–362 (1992). V International Meeting on Topology in Italy (Italian) (Lecce, 1990/Otranto, 1990)

  3. 3.

    Bunge, M.: An application of descent to a classification theorem for toposes. Math. Proc. Camb. Philos. Soc. 107(1), 59–79 (1990).

    MathSciNet  Article  MATH  Google Scholar 

  4. 4.

    Funk, J., Lawson, M.V., Steinberg, B.: Characterizations of Morita equivalent inverse semigroups. J. Pure Appl. Algebra 215(9), 2262–2279 (2011)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Hilsum, M., Skandalis, G.: Morphismes K-orientés d’espaces de feuilles et fonctorialité en théorie de Kasparov (d’après une conjecture d’A. Connes). Ann. Sci. École Norm. Sup. (4) 20(3), 325–390 (1987). (French with English summary)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Johnstone, P.T.: Stone Spaces, Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1986). Reprint of the 1982 edition

    Google Scholar 

  7. 7.

    Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. Volume 2, Oxford Logic Guides, vol. 44. The Clarendon Press, Oxford University Press, Oxford (2002)

    Google Scholar 

  8. 8.

    Joyal, A., Tierney, M.: An extension of the Galois theory of Grothendieck. Mem. Am. Math. Soc. 51(309), vii+71 (1984)

    MathSciNet  MATH  Google Scholar 

  9. 9.

    Landsman, N.P.: Operator algebras and Poisson manifolds associated to groupoids. Commun. Math. Phys. 222(1), 97–116 (2001).

    MathSciNet  Article  MATH  Google Scholar 

  10. 10.

    Lawson, M.V., Resende, P.: Morita equivalence of pseudogroups. arXiv:2011.14335 (2020)

  11. 11.

    Mac Lane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics, vol. 5, 2nd edn. Springer, New York (1998)

    Google Scholar 

  12. 12.

    Marcelino, S., Resende, P.: An algebraic generalization of Kripke structures. Math. Proc. Camb. Philos. Soc. 145(3), 549–577 (2008)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Meyer, R.: Morita equivalence in algebra and geometry. nLab. (1997)

  14. 14.

    Meyer, R., Zhu, C.: Groupoids in categories with pretopology. Theory Appl. Categ. 30 (2015), Paper No. 55, 1906–1998

  15. 15.

    Moerdijk, I.: The classifying topos of a continuous groupoid. I. Trans. Am. Math. Soc. 310(2), 629–668 (1988)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Moerdijk, I.: The classifying topos of a continuous groupoid. II. Cahiers Topol. Géom. Différ. Catég. 31(2), 137–168 (1990). (English with French summary)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Moerdijk, I.: Classifying toposes and foliations. Ann. Inst. Fourier (Grenoble) 41(1), 189–209 (1991). (English with French summary)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Moerdijk, I., Mrčun, J.: Lie Groupoids, Sheaves and Cohomology, Poisson Geometry, Deformation Quantisation and Group Representations, London Mathematical Society, Lecture Note Series, vol. 323, No. 2, pp. 145–272 (2005)

  19. 19.

    Mrčun, J.: Functoriality of the bimodule associated to a Hilsum–Skandalis map. K-Theory 18(3), 235–253 (1999).

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    Mrčun, J.: Stability and Invariants of Hilsum–Skandalis Maps. PhD thesis, Universiteit Utrecht, Faculteit Wiskunde en Informatica. arXiv:math.DG/0506484v1 (1996)

  21. 21.

    Muhly, P.S., Renault, J.N., Williams, D.P.: Equivalence and isomorphism for groupoid \(C^{*}\)-algebras. J. Oper. Theory 17(1), 3–22 (1987)

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Paseka, J.: Hilbert Q-modules and nuclear ideals in the category of \(\bigvee \)-semilattices with a duality. In: CTCS ’99: Conference on Category Theory and Computer Science (Edinburgh), Electronic Notes in Theoretical Computer Science, vol. 29, Paper No. 29019. Elsevier, Amsterdam (1999). (Electronic)

  23. 23.

    Paseka, J.: Morita equivalence in the context of Hilbert modules. In: Simon, P. (Ed.), Proceedings of the 9th Prague Topological Symposium, pp. 223-251. Prague, Czech Republic (2001)

  24. 24.

    Protin, M.C., Resende, P.: Quantales of open groupoids. J. Noncommut. Geom. 6(2), 199–247 (2012).

    MathSciNet  Article  MATH  Google Scholar 

  25. 25.

    Quijano, J.P., Resende, P.: Actions of étale-covered groupoids. J. Algebra 566, 222–258 (2021).

    MathSciNet  Article  MATH  Google Scholar 

  26. 26.

    Resende, P.: Étale groupoids and their quantales. Adv. Math. 208(1), 147–209 (2007)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Resende, P.: Groupoid sheaves as quantale sheaves. J. Pure Appl. Algebra 216(1), 41–70 (2012).

    MathSciNet  Article  MATH  Google Scholar 

  28. 28.

    Resende, P.: Functoriality of groupoid quantales. I. J. Pure Appl. Algebra 219(8), 3089–3109 (2015).

    MathSciNet  Article  MATH  Google Scholar 

  29. 29.

    Resende, P.: The many groupoids of a stably Gelfand quantale. J. Algebra 498, 197–210 (2018).

    MathSciNet  Article  MATH  Google Scholar 

  30. 30.

    Resende, P., Rodrigues, E.: Sheaves as modules. Appl. Categ. Struct. 18(2), 199–217 (2010). (On-line 2008)

    MathSciNet  Article  MATH  Google Scholar 

  31. 31.

    Rieffel, M.A.: Induced representations of \(C^{*}\)-algebras. Adv. Math. 13, 176–257 (1974).

    Article  MATH  Google Scholar 

  32. 32.

    Rieffel, M.A.: Morita equivalence for \(C^{*}\)-algebras and \(W{*}\)-algebras. J. Pure Appl. Algebra 5, 51–96 (1974).

    MathSciNet  Article  MATH  Google Scholar 

  33. 33.

    Steinberg, B.: Strong Morita equivalence of inverse semigroups. Houston J. Math. 37(3), 895–927 (2011)

    MathSciNet  MATH  Google Scholar 

  34. 34.

    Vickers, S.: Locales and toposes as spaces. In:Aiello M., Pratt-Hartmann I., Van Benthem J. (Ed.), Handbook of Spatial Logics, pp. 429–496. Springer, Dordrecht (2007)

Download references

Author information



Corresponding author

Correspondence to Juan Pablo Quijano.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Work funded by FCT/Portugal through the LisMath Program and Project PEst-OE/EEI/LA0009/2013.

Communicated by Maria Manuel Clementino.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Quijano, J.P., Resende, P. Functoriality of Groupoid Quantale. II. Appl Categor Struct (2021).

Download citation


  • Étale groupoids
  • Inverse quantal frames
  • Sheaves
  • Principal bundles
  • Hilsum–Skandalis maps
  • Morita equivalence

Mathematics Subject Classification

  • 18F15
  • 18F20
  • 18F70
  • 18F75
  • 22A22
  • 55R10