Modules in the category of sheaves over quantales (Q5935987)

In this paper the authors consider sheaves over a quantale \(Q\) in the restricted setting where \(Q\) is an idempotent, right-sided quantale. This setting is primarily useful for generalizing the work done on localic topoi to the realm of \(C^*\)-algebras. The approach to sheaves on a quantale follows that of \textit{F. Borceux} and \textit{G. van den Bossche} [``Quantales and their sheaves'', Order 3, 61-87 (1986; Zbl 0595.18003)], which was later expanded on by \textit{F. Miraglia} and \textit{U. Solitro} [``Sheaves over right-sided idempotent quantales'', Logic J. IGPL 6, No. 4, 545-600 (1998; Zbl 0914.06006)]. This approach generalizes the Heyting-valued set approach to sheaves on a locale (complete Heyting algebra) originally developed by \textit{D. Higgs}. Because of the internal logic of toposes, one can develop mathematics in a topos, and thus the needed ingredient here for generalizing the localic case is the development of a suitable first order logic (which is sound) and allows for interpretation of mathematical statements in \(sh(Q)\), where \(Q\) is the quantale in question. The authors do this and prove Kaplansky's theorem that every finitely generated module over a local ring is free is valid in \(sh(Q)\). This lays the groundwork for developing module theory in this setting with possible applications to the case of \(C^*\)-algebras.