Abstract:In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale X. 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 Sh(X) of sheaves on a locale X is equivalent to the slice category LH/X of locales and local homeomorphisms over X. Applying this equivalence, we give characterizations of partially ordered sheaves and complete partially ordered sheaves in terms of sheaf locale respectively. This paper is a continuation of our paper [1]. In this paper, we first introduce the concept of directed complete partially ordered sheaves (shortly dcposheaves) on a given locale. some internal characterizations of dcposheaves and meet continuous dcposheaves are given respectively. We also give characterizations of continuous posheaves and completely distributive posheaves, and show that an algebraic completely distributive posheaf is spatial.

On a Characterization Theorem for Continuous Posets

The Scott Topology on Posets and Continuous Posets

Some Notes on Continuous Posets

A Full-Invariant Theorem and Some Applications

The Stone Representations for Generalized Continuous Posets

Characterizations of Distributive Lattices and Semicontinuous Lattices

The Meet Continuous Partial Ordered Objects in a Topos

Apartness, sharp elements, and the Scott topology of domains

Directed Completions of Local Dcpos

Continuous Pre-ordered Sets

Topological representations for frame-valued domains via $L$-sobriety

A complete characterization of monotonicity equivalence for continuous-time Markov processes

When All S-Posets Are Principally Weakly Flat

Congruences on Continuous Lattices

Discrete homotopy and homology theories for finite posets

An equivalent characterization of the choice axiom in a Topos

On an Extension of a Theorem of Eilenberg and a Characterization of Topological Connectedness

A characterization of Continuous Logic by using quantale-valued logics

The operator theory on complete partially ordered objects in a topos

The Intrinsic Characterization of a Fuzzy Consistently Connected Domain

Partially Ordered Sheaves on a Locale. I (II)