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…