Abstract
Starting from enriched order-theoretic properties of modules over a unital quantale in the category \(\mathsf {Sup}\), this paper presents the following theorem. If the underlying quantale is unital and involutive with a designated element, then the duality of right (left) modules preserves projectivity if and only if the underlying quantale has a dualizing element.
Similar content being viewed by others
References
Birkhoff, G.: Lattice Theory, Colloquium Publication 25, Amer. Math. Soc., Third edition, eighth printing. American Mathematical Society, Providence, Rhode Island (1995)
Borceux, F.: Handbook of Categorical Algebra 1. Basic Category Theory. In: Encyclopedia of Mathematics and Its Applications, vol. 50. Cambridge University Press, Cambridge (1994)
Borceux, F., Cruciani, R.: Skew \(\Omega \)-sets coincides with \(\Omega \)-posets. Cahiers Topol. Géom. Différ. Catég. 39, 205–220 (1998)
Crown, G.D.: Projectives and injectives in the category of complete lattices with residuated mappings. Math. Ann. 187, 295–299 (1970)
Eklund, E., Gutiérrez García, J., Höhle, U., Kortelainen, J.: Semigroups in Complete Lattices. Quantales, Modules and Related Topics. Developments in Mathematics, vol. 54. Springer International Publishing, Cham (2018)
Joyal, A., Tierney, M.: An Extension of the Galois Theory of Grothendieck. Memoirs of the American Mathematical Society, 51 No. 309. American Mathematical Society, Providence, Rhode Island (1984)
Lai, H., Shen, L.: Regularity vs. constructive complete (co)distributivity. Theory Appl. Categ. 33, 492–522 (2018)
Mac Lane, S.: Categories for The Working Mathematician. In: Graduate Texts in Mathematics, vol. 5, 2nd edn. Springer-Verlag, Berlin, Heidelberg, New York (1998)
Raney, G.N.: A subdirected-union representation of completely distributive lattices. Proc. Am. Math. Soc. 4, 518–522 (1953)
Rosenthal, K.I.: Quantales and Their Applications, Pitman Research Notes in Mathematics 234. Longman Group (1990)
Stubbe, I.: Categorical structures enriched in a quantaloid. Tensored and cotensored categories. Theory Appl. Categ. 16, 283–306 (2006)
Stubbe, I.: Towards “dynamic domains”. Totally continuous cocomplete \(\cal{Q}\)categories. Theoret. Comput. Sci. 373, 142–160 (2007)
Wood, R.J.: Ordered sets via adjunction. In: Pedicchio, M.C., Tholen, W. (eds.) Categorical Foundations. Special Topics in Order, Topology, Algebra, and Sheaf Theory. Encyclopedia of Mathematics and its Applications, vol. 97, pp. 5–48. Cambridge University Press, Cambridge (2004)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Presented at S. Pulmannova.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first named author also acknowledges support from the Basque Government (Grant IT974-16)
Rights and permissions
About this article
Cite this article
Gutiérrez García, J., Höhle, U. & Kubiak, T. Invariance of projective modules in \(\mathsf {Sup}\) under self-duality. Algebra Univers. 82, 9 (2021). https://doi.org/10.1007/s00012-020-00691-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-020-00691-5
Keywords
- Unital and Involutive quantale
- (Dual) right module over a
- Projectivity
- (Dual) enriched preorder
- Enriched join-completeness
- Enriched complete distributivity
- Dualizing element