Order-Filtral Objects in Coherent Categories

• Order-filtral objects are defined by the recovery of their subobject lattice from complements via ideal or filter completions of the Boolean center.
• In coherent categories, these objects characterize compact Hausdorff locales and Priestley spaces through embedding theorems that preserve limits and coproducts.
• The framework bridges classical and enriched settings by linking order theory, topology, and operad theory using constructive logic and categorical methods.

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 (Borlido et al., 2023, Marquès et al., 13 Aug 2025).

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 $Sub(X)\cong Fil(B(Sub(X)))$0 and $Sub(X)\cong Fil(B(Sub(X)))$1. The Boolean center $Sub(X)\cong Fil(B(Sub(X)))$2 is the sublattice of complemented elements. The relevant completion is the frame $Sub(X)\cong Fil(B(Sub(X)))$3 of ideals of $Sub(X)\cong Fil(B(Sub(X)))$4; equivalently, by Boolean complementation, one may work with the lattice of filters $Sub(X)\cong Fil(B(Sub(X)))$5 (Borlido et al., 2023).

A lattice $Sub(X)\cong Fil(B(Sub(X)))$6 is filtral when the canonical monotone map

$Sub(X)\cong Fil(B(Sub(X)))$7

is an order isomorphism. For an object $Sub(X)\cong Fil(B(Sub(X)))$8 of a coherent category, this becomes a statement about subobjects: $Sub(X)\cong Fil(B(Sub(X)))$9 is filtral iff $Up(X)\cong Filt(CU(X))$0 is filtral, equivalently iff $Up(X)\cong Filt(CU(X))$1 is a Stone locale, that is, of the form $Up(X)\cong Filt(CU(X))$2 for some Boolean algebra $Up(X)\cong Filt(CU(X))$3 (Borlido et al., 2023).

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 (Borlido et al., 2023).

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 (Borlido et al., 2023). A category $Up(X)\cong Filt(CU(X))$4 is filtral if it is coherent and every object $Up(X)\cong Filt(CU(X))$5 admits a regular epimorphism $Up(X)\cong Filt(CU(X))$6 with $Up(X)\cong Filt(CU(X))$7 filtral (Borlido et al., 2023).

For any filtral category $Up(X)\cong Filt(CU(X))$8, the assignments

$Up(X)\cong Filt(CU(X))$9

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

$Up(X)$0

Consequently, in a filtral category the functor $Up(X)$1 given by $Up(X)$2 corestricts to $Up(X)$3, preserves monomorphisms and regular epimorphisms, and is bijective on subobjects (Borlido et al., 2023).

To obtain an embedding, the paper imposes two additional hypotheses. “Enough subobjects” requires

$Up(X)$4

which makes $Up(X)$5 faithful and ensures preservation of equalisers. “Compatible filtrality” requires that for filtral $Up(X)$6, the canonical Boolean homomorphism

$Up(X)$7

be injective; equivalently, the canonical localic map $Up(X)$8 is a localic surjection. Under these conditions, together with non-triviality, $Up(X)$9 preserves finite limits, and finite coproducts are preserved in any filtral pretopos (Borlido et al., 2023).

The main result is the embedding theorem: if $CU(X)$0 is a non-trivial compatibly filtral pretopos with enough subobjects, then

$CU(X)$1

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 (Borlido et al., 2023).

3. Poset-enriched order-filtrality

A distinct but closely related notion appears in poset-enriched pretoposes. Here each hom-set $CU(X)$2 is a poset, composition is monotone in each variable, and exact/coherent/regular structure is formulated in the enriched sense. For any object $CU(X)$3 in a coherent poset-enriched category, $CU(X)$4 denotes the sublattice of upward subobjects, and $CU(X)$5 denotes the distributive lattice of upward complemented subobjects. The defining map is

$CU(X)$6

with $CU(X)$7 ordered by reverse inclusion. An object $CU(X)$8 is order-filtral if this map is an order-isomorphism (Marquès et al., 13 Aug 2025).

This is a genuine enriched analogue of ordinary filtrality. The role of the Boolean center is now played by the lattice $CU(X)$9 of clopen upsets, and the role of the full subobject lattice is played by $L$0. The functorial behavior of $L$1 is particularly rigid: internally it is represented by the tensor $L$2, and there is a natural isomorphism $L$3 (Marquès et al., 13 Aug 2025).

In a well-pointed cocomplete pretopos, order-filtral objects are compact and separated. Compactness is expressed as a codirected-meet condition on $L$4: if a codirected family of upward complemented subobjects has meet $L$5 in $L$6, then one member is already $L$7. Separation means that any two distinct points $L$8 are distinguished by an upward complemented subobject containing exactly one of them (Marquès et al., 13 Aug 2025).

Externally, in $L$9, 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 $0$0, there exists a clopen upset $0$1 with $0$2 and $0$3. Thus $0$4 records clopen upsets, $0$5 records all upsets, and order-filtrality states that $0$6 is the filter completion of $0$7 (Marquès et al., 13 Aug 2025).

The main characterization theorem states that $0$8 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 (Marquès et al., 13 Aug 2025).

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 $0$9 is compact when every directed cover of $1$0 has a member equal to $1$1. It is Hausdorff when the diagonal $1$2 is closed; for compact locales this is equivalent to regularity, and also to normal plus subfit (Borlido et al., 2023).

The functor $1$3 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 $1$4. Constructively, $1$5 has a left adjoint $1$6, the Stone–Čech compactification, and $1$7 is complete and cocomplete internally (Borlido et al., 2023).

The essential image of the embedding depends on additional logical principles. Under weak excluded middle, stated as $1$8, together with the existence of set-indexed copowers of the terminal object, the essential image of $1$9 contains all spatial compact Hausdorff locales and their closed sublocales. The proof uses a canonical surjection from a Stone–Čech compactification of a copower $u\in L$0 onto a spatial compact Hausdorff locale $u\in L$1, together with an injective frame map from $u\in L$2 into $u\in L$3 (Borlido et al., 2023).

In classical logic, assuming excluded middle and the prime ideal theorem for Boolean algebras, compact Hausdorff locales have enough points and $u\in L$4. 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 (Borlido et al., 2023).

5. Canonical examples and obstructions

The standard examples come from compact Hausdorff locales and compact ordered spaces.

Setting	Order-filtral objects	Remarks
$u\in L$5	Stone locales of the form $u\in L$6	Every compact Hausdorff locale is a closed quotient of a Stone locale
$u\in L$7	Priestley spaces	Equivalently, compact ordered spaces that are totally order-disconnected
$u\in L$8	Finite posets	Infinite posets in $u\in L$9 are not order-filtral

In $v$0, $v$1 is isomorphic to $v$2 via $v$3, the closed nucleus generated by $v$4. Accordingly, the functor $v$5 is naturally isomorphic to the identity on $v$6. Filtral objects in $v$7 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 (Borlido et al., 2023).

In $v$8, order-filtral objects are Priestley spaces. Stone spaces with the trivial order and finite discrete posets therefore furnish basic examples. Copowers $v$9 in $Sub(X)\cong Fil(B(Sub(X)))$00 are $Sub(X)\cong Fil(B(Sub(X)))$01, compact Hausdorff spaces with the trivial order, and they are order-filtral iff they are Stone (Marquès et al., 13 Aug 2025).

The obstructions are equally instructive. $Sub(X)\cong Fil(B(Sub(X)))$02 is not regular, because regular epimorphisms are not stable under composition; hence it is not coherent and not a pretopos. In the enriched setting, $Sub(X)\cong Fil(B(Sub(X)))$03 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 $Sub(X)\cong Fil(B(Sub(X)))$04 are not order-filtral, since $Sub(X)\cong Fil(B(Sub(X)))$05 is not, in general, the filter completion of $Sub(X)\cong Fil(B(Sub(X)))$06 (Borlido et al., 2023, Marquès et al., 13 Aug 2025).

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 $Sub(X)\cong Fil(B(Sub(X)))$07 or $Sub(X)\cong Fil(B(Sub(X)))$08 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 $Sub(X)\cong Fil(B(Sub(X)))$09 or $Sub(X)\cong Fil(B(Sub(X)))$10 (Fabio et al., 2013).

In operad theory, an order-filtral object is a linear operad or algebra equipped with a filtration indexed by a lattice operad $Sub(X)\cong Fil(B(Sub(X)))$11. The lattice-compatibility condition is that partial compositions $Sub(X)\cong Fil(B(Sub(X)))$12 are lattice homomorphisms in each argument, so meet and join distribute through operadic composition. This includes the classical $Sub(X)\cong Fil(B(Sub(X)))$13-indexed case as the counting lattice operad, and it also covers examples built from Tamari lattices, Young’s lattice, and composition operads of types $Sub(X)\cong Fil(B(Sub(X)))$14, $Sub(X)\cong Fil(B(Sub(X)))$15, and $Sub(X)\cong Fil(B(Sub(X)))$16 (Bashkirov, 2022).

In homological algebra, filtered objects indexed by a filtrant preordered set $Sub(X)\cong Fil(B(Sub(X)))$17 are functors $Sub(X)\cong Fil(B(Sub(X)))$18 that send order arrows to monomorphisms. The quasi-abelian category $Sub(X)\cong Fil(B(Sub(X)))$19 has derived category equivalent to the derived category of the abelian functor category $Sub(X)\cong Fil(B(Sub(X)))$20, and the same pattern extends to filtered modules over filtered rings in a tensor category (Schapira et al., 2013).

In poset topology, the canonical filtered order complexes

$Sub(X)\cong Fil(B(Sub(X)))$21

play the role of order-filtral objects attached to a finite graded poset. They satisfy

$Sub(X)\cong Fil(B(Sub(X)))$22

and their relative homology computes magnitude homology: $Sub(X)\cong Fil(B(Sub(X)))$23. For shellable graded posets, each $Sub(X)\cong Fil(B(Sub(X)))$24 is shellable and has the homotopy type of a wedge of $Sub(X)\cong Fil(B(Sub(X)))$25-spheres (Kitajima, 13 Jun 2026).

A further family of usages concerns filters and ultrafilters ordered by reducibility or comparison relations. Under the Ultrapower Axiom, the seed, Ketonen, and Lipschitz orders on countably complete uniform ultrafilters on ordinals coincide and form a wellorder (Goldberg, 2018). For Fréchet–Urysohn filters on $Sub(X)\cong Fil(B(Sub(X)))$26, the Rudin–Keisler and Todorčević–Uzcátegui preorders organize large chains and antichains (Garcia-Ferreira et al., 2016). The gamified Katětov order on filters over $Sub(X)\cong Fil(B(Sub(X)))$27 embeds $Sub(X)\cong Fil(B(Sub(X)))$28 and yields continuum-sized antichains (Kihara et al., 20 May 2026). For linear orders $Sub(X)\cong Fil(B(Sub(X)))$29, ultrafilter extension produces a distributive skew lattice $Sub(X)\cong Fil(B(Sub(X)))$30, and quotienting by equal support recovers the natural order of nonempty half-cuts of $Sub(X)\cong Fil(B(Sub(X)))$31 (Saveliev, 2013). A related order-theoretic construction considers the principal filter

$Sub(X)\cong Fil(B(Sub(X)))$32

of quasiorders extending a given poset order $Sub(X)\cong Fil(B(Sub(X)))$33; for chains, antichains, and forests, this complete lattice can be generated by few elements, with sharp bounds involving $Sub(X)\cong Fil(B(Sub(X)))$34 and the 4-generator theorem for quasiorder lattices (Czédli, 2023).

Taken together, these literatures indicate a stable structural motif rather than a single universal definition. The recurring pattern is that order-filtral objects are governed by an order or filtration reconstructed from a smaller family of complemented, clopen, or generating pieces, and that this reconstruction supports strong representation theorems in topology, locale theory, ordered spaces, homological algebra, and operad theory (Borlido et al., 2023, Marquès et al., 13 Aug 2025).