Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory

DOI10.1007/S11083-009-9116-XzbMATH Open1179.06007arXiv0809.4336OpenAlexW4297972409MaRDI QIDQ2390982FDOQ2390982

Isar Stubbe, Hans Heymans

Publication date: 10 August 2009

Published in: Order (Search for Journal in Brave)

Abstract: We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modules and that via so-called principally generated modules. For a principally generated module satisfying a suitable symmetry condition we observe the existence of a canonical Hilbert structure. We prove that, when working over a modular quantal frame, a module bears a Hilbert structure if and only if it is principally generated and symmetric, in which case its Hilbert structure is necessarily the canonical one. We indicate applications to sheaves on locales, on quantal frames and even on sites.

Full work available at URL: https://arxiv.org/abs/0809.4336

zbMATH Keywords

inner productquantalemodulesheafprincipal elementprincipal symmetry

Mathematics Subject Classification ID

Quantales (06F07)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Sheaves on sites as Cauchy-complete categories
• Q-modules are Q-suplattices
• On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
• Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid
• Étale groupoids and their quantales
• Sheaves as modules
• Morita equivalence in the context of Hilbert modules

Cited In (6)

• An introduction to quantaloid-enriched categories
• Sheaves on involutive quantales: Grothendieck quantales.
• Groupoid sheaves as quantale sheaves
• On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
• Open maps of involutive quantales
• Morita equivalence of pseudogroups

This page was built for publication: Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390982)