Showing math.CTShow all
3 papers · 1 filter
math.CT2010
Elementary characterisation of small quantaloids of closed cribles
Hans Heymans, Isar Stubbe
Each small site (C,J) determines a small quantaloid of closed cribles R(C,J). We prove that a small quantaloid Q is equivalent to R(C,J) for some small site (C,J) if and only if th…
math.CT2008
Modules on involutive quantales: canonical Hilbert structure, applications to sheaf theory
Hans Heymans, Isar Stubbe
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 modul…
math.CT2008
On principally generated Q-modules in general, and skew local homeomorphisms in particular
Hans Heymans, Isar Stubbe
Ordered sheaves on a small quantaloid Q have been defined in terms of Q-enriched categorical structures; they form a locally ordered category Ord(Q). The free-cocompletion KZ-doctr…