Partially Ordered Sheaves on a Locale. I (II)
Wei He

TL;DR
This paper explores the algebraic and order-theoretic structures of sheaves on a locale, introducing concepts like dcposheaves and characterizing their completeness and continuity properties within the sheaf category.
Contribution
It introduces the notion of dcposheaves, provides internal characterizations of various classes of posheaves, and establishes categorical equivalences with sheaf locales.
Findings
Characterization of complete partially ordered sheaves.
Introduction of dcposheaves and their properties.
Equivalence between sheaf categories and slice categories of locales.
Abstract
In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale . Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf to be a morphism from a subterminal sheaf to the partially ordered sheaf. Using the concept of "points," we investigate the completeness of posheaves systemically. Some internal characterizations of complete partially ordered sheaves and frame sheaves are given. We also give an explicit description of the construction of associated sheaf locales and show directly that the category of sheaves on a locale is equivalent to the slice category of locales and local homeomorphisms over . Applying this equivalence, we give characterizations of partially ordered sheaves and complete partially ordered sheaves in terms of sheaf locale…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models · Homotopy and Cohomology in Algebraic Topology · Advanced Algebra and Logic
