--- title: Order-Filtral Objects in Coherent Categories url: https://www.emergentmind.com/topics/order-filtral-objects type: topic --- # Order-Filtral Objects in Coherent Categories Order-filtral objects are objects whose governing order structure is recovered from filters or ideals of distinguished complemented parts. In the ordinary coherent-categorical setting, this means that the subobject lattice is, up to order duality, the ideal completion of its Boolean center, equivalently the filter completion of complemented subobjects: \(Sub(X)^{op}\cong Idl(B(Sub(X)))\) and hence \(Sub(X)\cong Fil(B(Sub(X)))\). In the poset-enriched setting, the analogous condition is \(Up(X)\cong Filt(CU(X))\), where \(Up(X)\) is the poset of upward subobjects and \(CU(X)\) is the lattice of upward complemented subobjects. These notions provide constructive characterizations of compact Hausdorff locales and of Nachbin’s compact ordered spaces, respectively [2306.11169] [2508.09944]. ## 1. Order-theoretic nucleus The ordinary starting point is a bounded lattice \(L\) with least and greatest elements \(0\) and \(1\). An element \(u\in L\) is complemented if there exists \(v\) with \(u\wedge v=0\) and \(u\vee v=1\). The Boolean center \(B(L)\) is the sublattice of complemented elements. The relevant completion is the frame \(Idl(B(L))\) of ideals of \(B(L)\); equivalently, by Boolean complementation, one may work with the lattice of filters \(Fil(B(L))\) [2306.11169]. A lattice \(L\) is filtral when the canonical monotone map \[ \phi_L:L\to Idl(B(L)),\qquad \phi_L(u)=\{c\in B(L)\mid c\le u\} \] is an order isomorphism. For an object \(X\) of a coherent category, this becomes a statement about subobjects: \(X\) is filtral iff \(Sub(X)^{op}\) is filtral, equivalently iff \(Sub(X)^{op}\) is a Stone locale, that is, of the form \(Idl(B)\) for some Boolean algebra \(B\) [2306.11169]. The phrase “order-filtral object” is used in this sense to emphasize that the order on subobjects is reconstructed from complemented subobjects alone. The complemented part supplies the Boolean center, and the whole lattice is recovered as its ideal or filter completion. This suggests a general theme: order-filtrality isolates situations in which a large order is controlled by a sharply behaved, complemented fragment [2306.11169]. ## 2. Filtral objects in ordinary coherent categories The principal categorical setting is that of pretoposes. A pretopos is a coherent category that is both positive and effective; equivalently, it is an extensive, regular category whose subobject lattices are distributive and whose image factorisations are pullback-stable [2306.11169]. A category \(K\) is filtral if it is coherent and every object \(X\) admits a regular epimorphism \(e:S\twoheadrightarrow X\) with \(S\) filtral [2306.11169]. For any filtral category \(K\), the assignments \[ X\mapsto Sub(X)^{op},\qquad f:X\to Y\mapsto f[-]:Sub(X)^{op}\to Sub(Y)^{op} \] define a functor into locales. The decisive fact is that this functor lands in compact Hausdorff locales. The mechanism uses the result that closed quotients of compact Hausdorff locales are compact Hausdorff, where closedness is expressed by the dual Frobenius law \[ \forall u\in OX,\ \forall v\in OY,\qquad f(u\vee f^{*}v)=f(u)\vee v. \] Consequently, in a filtral category the functor \(S\) given by \(S(X)=Sub(X)^{op}\) corestricts to \(\mathsf{CHLoc}\), preserves monomorphisms and regular epimorphisms, and is bijective on subobjects [2306.11169]. To obtain an embedding, the paper imposes two additional hypotheses. “Enough subobjects” requires \[ \forall f,g:X\to Y\ \Bigl((\forall i:U\hookrightarrow X,\ f[U]=g[U])\Rightarrow f=g\Bigr), \] which makes \(S\) faithful and ensures preservation of equalisers. “Compatible filtrality” requires that for filtral \(S_1,S_2\), the canonical Boolean homomorphism \[ B(Sub(S_1))+B(Sub(S_2))\to B(Sub(S_1\times S_2)) \] be injective; equivalently, the canonical localic map \(S(S_1\times S_2)\to S(S_1)\times S(S_2)\) is a localic surjection. Under these conditions, together with non-triviality, \(S\) preserves finite limits, and finite coproducts are preserved in any filtral pretopos [2306.11169]. The main result is the embedding theorem: if \(K\) is a non-trivial compatibly filtral pretopos with enough subobjects, then \[ S:K\to \mathsf{CHLoc} \] is a pretopos embedding, that is, a fully faithful pretopos morphism preserving finite coproducts and regular epimorphisms and bijective on subobjects. This extends the Marra–Reggio characterization of compact Hausdorff spaces to the localic and constructive setting, avoiding reference to points [2306.11169]. ## 3. Poset-enriched order-filtrality A distinct but closely related notion appears in poset-enriched pretoposes. Here each hom-set \(C(X,Y)\) is a poset, composition is monotone in each variable, and exact/coherent/regular structure is formulated in the enriched sense. For any object \(X\) in a coherent poset-enriched category, \(Up(X)\) denotes the sublattice of upward subobjects, and \(CU(X)\) denotes the distributive lattice of upward complemented subobjects. The defining map is \[ Up(X)\to Filt(CU(X)),\qquad U\mapsto \{V\in CU(X)\mid U\subseteq V\}, \] with \(Filt(L)\) ordered by reverse inclusion. An object \(X\) is order-filtral if this map is an order-isomorphism [2508.09944]. This is a genuine enriched analogue of ordinary filtrality. The role of the Boolean center is now played by the lattice \(CU(X)\) of clopen upsets, and the role of the full subobject lattice is played by \(Up(X)\). The functorial behavior of \(CU\) is particularly rigid: internally it is represented by the tensor \(two\cdot 1\), and there is a natural isomorphism \(CU(X)\cong C(X,two\cdot 1)\) [2508.09944]. In a well-pointed cocomplete pretopos, order-filtral objects are compact and separated. Compactness is expressed as a codirected-meet condition on \(CU(X)\): if a codirected family of upward complemented subobjects has meet \(0\) in \(Up(X)\), then one member is already \(0\). Separation means that any two distinct points \(p,q:1\to X\) are distinguished by an upward complemented subobject containing exactly one of them [2508.09944]. Externally, in \(\mathsf{KOrd}\), the category of Nachbin’s compact ordered spaces, order-filtral objects are precisely Priestley spaces, that is, compact ordered spaces that are totally order-disconnected. Equivalently, whenever \(x\nleq y\), there exists a clopen upset \(U\) with \(x\in U\) and \(y\notin U\). Thus \(CU(X)\) records clopen upsets, \(Up(X)\) records all upsets, and order-filtrality states that \(Up(X)\) is the filter completion of \(CU(X)\) [2508.09944]. The main characterization theorem states that \(\mathsf{KOrd}\) is, up to equivalence, the unique non-degenerate poset-enriched pretopos whose terminal object is a discrete generator and in which every object is covered by an order-filtral object. The covering condition means precisely that every object admits a surjection from an order-filtral one [2508.09944]. ## 4. Constructive logic and classical recovery The ordinary localic theory is formulated internally to an arbitrary topos and is therefore intuitionistically valid. In this setting, compactness and Hausdorffness are expressed point-free. A locale \(X\) is compact when every directed cover of \(1\) has a member equal to \(1\). It is Hausdorff when the diagonal \(\Delta:X\to X\times X\) is closed; for compact locales this is equivalent to regularity, and also to normal plus subfit [2306.11169]. The functor \(S(X)=Sub(X)^{op}\) is built entirely from the subobject functor and its adjoints. This avoids point-set arguments and exploits the internal locale calculus of frames, nuclei, and adjunctions \(f^{*}\dashv f\). Constructively, \(\mathsf{CHLoc}\to \mathsf{Loc}\) has a left adjoint \(\beta\), the Stone–Čech compactification, and \(\mathsf{CHLoc}\) is complete and cocomplete internally [2306.11169]. The essential image of the embedding depends on additional logical principles. Under weak excluded middle, stated as \(\neg P\vee \neg\neg P\), together with the existence of set-indexed copowers of the terminal object, the essential image of \(S\) contains all spatial compact Hausdorff locales and their closed sublocales. The proof uses a canonical surjection from a Stone–Čech compactification of a copower \(ptX\cdot 1\) onto a spatial compact Hausdorff locale \(X\), together with an injective frame map from \(Idl(P(ptX))\) into \(Sub(ptX\cdot 1)^{op}\) [2306.11169]. In classical logic, assuming excluded middle and the prime ideal theorem for Boolean algebras, compact Hausdorff locales have enough points and \(\mathsf{CHLoc}\simeq \mathsf{CHSp}\). The constructive embedding therefore recovers the Marra–Reggio characterization of compact Hausdorff spaces. The order-theoretic content is Stone representation: ultrafilters separate Boolean elements, so the relevant localic objects become spatial [2306.11169]. ## 5. Canonical examples and obstructions The standard examples come from compact Hausdorff locales and compact ordered spaces. | Setting | Order-filtral objects | Remarks | |---|---|---| | \(\mathsf{CHLoc}\) | Stone locales of the form \(Idl(B)\) | Every compact Hausdorff locale is a closed quotient of a Stone locale | | \(\mathsf{KOrd}\) | Priestley spaces | Equivalently, compact ordered spaces that are totally order-disconnected | | \(\mathsf{Pos}\) | Finite posets | Infinite posets in \(\mathsf{Pos}\) are not order-filtral | In \(\mathsf{CHLoc}\), \(Sub(X)^{op}\) is isomorphic to \(OX\) via \(u\mapsto c_u\), the closed nucleus generated by \(u\). Accordingly, the functor \(S\) is naturally isomorphic to the identity on \(\mathsf{CHLoc}\). Filtral objects in \(\mathsf{CHLoc}\) are precisely Stone locales, and every compact Hausdorff locale is a closed quotient of a Stone locale via the Gleason cover. This is the categorical content of the slogan that every object is “covered by one” whose order of subobjects is generated from complemented elements [2306.11169]. In \(\mathsf{KOrd}\), order-filtral objects are Priestley spaces. Stone spaces with the trivial order and finite discrete posets therefore furnish basic examples. Copowers \(S\cdot 1\) in \(\mathsf{KOrd}\) are \(\beta(S)\), compact Hausdorff spaces with the trivial order, and they are order-filtral iff they are Stone [2508.09944]. The obstructions are equally instructive. \(\mathsf{Loc}\) is not regular, because regular epimorphisms are not stable under composition; hence it is not coherent and not a pretopos. In the enriched setting, \([0,1]\) with the usual topology and order is a compact ordered space but not order-filtral, because it is not totally order-disconnected. Likewise, infinite posets in \(\mathsf{Pos}\) are not order-filtral, since \(Up(P)\) is not, in general, the filter completion of \(CU(P)\) [2306.11169] [2508.09944]. ## 6. Related meanings in filtration and filter theories The phrase also appears in several adjacent literatures, but the definitions are not uniform. In persistent homology, order-filtral language is used for filtrations \(\{X_t\}_{t\in T}\) or \(\{X_v\}_{v\in T}\) indexed by an ordered set. Under compactness, stability, and, in the multi-parameter case, completeness, such filtrations are exactly sublevel-set filtrations of continuous functions \(f:X\to \mathbb{R}\) or \(f:X\to \mathbb{R}^n\) [1304.1268]. In operad theory, an order-filtral object is a linear operad or algebra equipped with a filtration indexed by a lattice operad \(L\). The lattice-compatibility condition is that partial compositions \(\circ_i\) are lattice homomorphisms in each argument, so meet and join distribute through operadic composition. This includes the classical \(\mathbb{Z}\)-indexed case as the counting lattice operad, and it also covers examples built from Tamari lattices, Young’s lattice, and composition operads of types \(A\), \(B\), and \(D\) [2212.14833]. In homological algebra, filtered objects indexed by a filtrant preordered set \(\Lambda\) are functors \(M:\Lambda\to C\) that send order arrows to monomorphisms. The quasi-abelian category \(F_\Lambda(C)\) has derived category equivalent to the derived category of the abelian functor category \(Fct(\Lambda,C)\), and the same pattern extends to filtered modules over filtered rings in a tensor category [1306.1359]. In poset topology, the canonical filtered order complexes \[ \Delta^{(k)}(P)=\{(x_0<\cdots