Poset-Enriched Pretoposes

• The paper demonstrates that Nachbin’s compact ordered spaces arise as the unique non-degenerate poset-enriched pretopos with a discrete generator and where every object is covered by an order-filtral object.
• Poset-enriched pretoposes are categories enriched over the poset of monotone maps, integrating categorical and order-theoretic structures to develop a robust internal logic and reconstruction theory.
• Methodologically, the approach leverages finite weighted limits, coherence, and exactness in an enriched setting to bridge abstract categorical constructions with concrete compact ordered topology.

Searching arXiv for the cited paper and closely related context. Searching (Marquès et al., 13 Aug 2025) "Poset-enriched pretoposes and compact ordered spaces". Poset-enriched pretoposes are pretoposes formulated in the setting of enrichment over the category $\Pos$ of posets and monotone maps, so that each hom-set is itself a poset and composition is monotone in each variable. In this framework, categorical structure and order-theoretic structure are integrated at the level of morphisms rather than added externally. The central result of "Poset-enriched pretoposes and compact ordered spaces" identifies the category $\mathsf{KOrd}$ of Nachbin’s compact ordered spaces, up to equivalence, as 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 (Marquès et al., 13 Aug 2025).

1. Enrichment, finite weighted limits, and regularity

A poset-enriched category $\C$ consists of a class of objects, a poset $\C(X,Y)$ for each pair of objects $X,Y$, identities $1_X\in \C(X,X)$, and a composition law

$\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$

that is monotone in each variable and strictly unital and associative. Equivalently, $\C$ is a category enriched over the monoidal category $(\Pos,\times,1)$.

Finite weighted limits are described through two ingredients. First, a conical finite limit in $\C$ is a limit built from products and equalizers and inducing order-isomorphisms on each hom-poset. Second, for any object $\mathsf{KOrd}$0, the epi-diagonal

$\mathsf{KOrd}$1

is the subobject representing the presheaf

$\mathsf{KOrd}$2

The existence of all conical finite limits together with all epi-diagonals is equivalent to the existence of all finite weighted limits in the enriched sense.

Within a poset-enriched category with finite weighted limits, one defines an embedding, or $\mathsf{KOrd}$3-morphism, by the condition that for all $\mathsf{KOrd}$4,

$\mathsf{KOrd}$5

A surjection is a morphism carrying no proper subobject of its codomain; equivalently, it is the image factor in the factorization system “surjection $\mathsf{KOrd}$6 embedding.” Surjections are precisely the enriched epimorphisms, and they are stable under pullback. A poset-enriched category is regular when every arrow factors as a surjection followed by an embedding and surjections are pullback-stable.

These notions adapt the ordinary regular- and exact-category toolkit to an enriched setting where inequalities between morphisms are themselves part of the ambient structure. This suggests that order-sensitive analogues of exactness and internal logic can be developed without leaving the categorical framework.

2. Coherence, exactness, and the pretopos structure

A regular poset-enriched category $\mathsf{KOrd}$7 is coherent when each subobject poset $\mathsf{KOrd}$8 admits finite joins stable under pullback. Exactness is formulated using congruences: a congruence on an object $\mathsf{KOrd}$9 is an internal reflexive, transitive relation $\C$0 satisfying

$\C$1

A quotient of $\C$2 by $\C$3 is a surjection $\C$4 whose lax kernel is exactly $\C$5. The category is exact when every congruence has such a quotient.

Finite disjoint unions are expressed by embeddings $\C$6 and $\C$7 satisfying the internal sequents

$\C$8

and dually. Any such disjoint union is necessarily the coproduct. A pretopos is then a category that is coherent, exact, and admits finite disjoint unions (Marquès et al., 13 Aug 2025).

The terminal object $\C$9 plays a distinguished role through the notion of discrete generator. If $\C(X,Y)$0 denotes the copower of $\C(X,Y)$1 by a set $\C(X,Y)$2, characterized by

$\C(X,Y)$3

then an object $\C(X,Y)$4 is a discrete generator when all copowers $\C(X,Y)$5 exist and, for every object $\C(X,Y)$6, the canonical evaluation map

$\C(X,Y)$7

is a surjection. Equivalently, every object is covered by a copower of the generator.

The combination of exactness, finite disjoint unions, and a discrete generator provides the structural backbone for the classification of $\C(X,Y)$8. It yields both a robust internal logic and a projective covering family built from copowers of the terminal object.

3. Upward-complemented subobjects and order-filtrality

For a subobject $\C(X,Y)$9 in a regular poset-enriched category, the upward closure is

$X,Y$0

A subobject is upward if it equals its own upward closure, and complemented if it admits a complement in $X,Y$1. The set

$X,Y$2

defines a poset-enriched functor $X,Y$3, where $X,Y$4 denotes distributive lattices. A key structural fact is that $X,Y$5 is representable by the tensor $X,Y$6, where $X,Y$7.

For a coherent $X,Y$8, one considers

$X,Y$9

ordered by reverse inclusion. An object $1_X\in \C(X,X)$0 is order-filtral when the natural map

$1_X\in \C(X,X)$1

is an order-isomorphism.

In a cocomplete pretopos, two further notions are singled out. An object $1_X\in \C(X,X)$2 is compact if, whenever $1_X\in \C(X,X)$3 is codirected and $1_X\in \C(X,X)$4 in $1_X\in \C(X,X)$5, then $1_X\in \C(X,X)$6. It is separated if any two distinct points $1_X\in \C(X,X)$7 can be separated by some $1_X\in \C(X,X)$8. In a well-pointed cocomplete pretopos, every order-filtral object is automatically compact and separated.

The notion of order-filtrality is the hinge between the internal distributive-lattice structure encoded by $1_X\in \C(X,X)$9 and the external topological-order structure of compact ordered spaces. A plausible implication is that order-filtrality functions as the enriched replacement for the sort of finite or zero-dimensional generation conditions that appear in ordinary duality theory.

4. The characterization of $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$0

The main theorem states that a poset-enriched category $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$1 is equivalent, as a poset-enriched category, to $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$2 if and only if three conditions hold: $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$3 is a non-degenerate poset-enriched pretopos; its terminal object $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$4 is a discrete generator; and every object of $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$5 is covered by an order-filtral object (Marquès et al., 13 Aug 2025). Here non-degenerate means $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$6 in the internal logic, equivalently that $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$7 is not the one-object one-arrow category.

This theorem is a uniqueness statement as well as a recognition principle. It does not merely show that $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$8 satisfies these axioms; it shows that these axioms determine $\C(Y,Z)\times\C(X,Y)\xrightarrow{\ \circ\ }\C(X,Z)$9 up to equivalence among poset-enriched categories. The result is formulated entirely in enriched categorical terms, yet it recovers a concrete category of ordered topological spaces.

The coverage hypothesis is especially decisive. It says that every object is the image of an order-filtral one, so compactness and separation can be propagated to the projective objects generated from $\C$0. This suggests that the theorem isolates a precise categorical core of Nachbin compact ordered spaces: pretopos structure supplies exactness and coproducts, the discrete generator supplies projective coordinates, and order-filtral covers supply the compact-separation content.

5. Internal language and the proof architecture

The proof proceeds through the internal language of poset-enriched pretoposes. Such a category admits a two-sorted first-order internal language with partial orders $\C$1 on each sort, conjunctions and existential quantifiers from regularity, disjunctions from coherence, and quotients of congruences together with disjoint unions from exactness and coproducts. The internal logic therefore has strictly more order-sensitive expressive power than the internal language of an ordinary pretopos.

Because $\C$2 is a discrete generator, the family

$\C$3

forms a full subcategory of projectives that covers $\C$4. A Barr-type embedding argument then shows that $\C$5 may be reconstructed from $\C$6 alone. This reduction is central: instead of comparing all objects of $\C$7 directly with compact ordered spaces, it suffices to analyze the projective cover generated by copowers of the terminal object.

The comparison functor

$\C$8

is defined by first observing that $\C$9 captures each object’s Boolean algebra of complemented, upward subobjects, and then postcomposing with Priestley duality $(\Pos,\times,1)$0. On projectives one has

$(\Pos,\times,1)$1

where $(\Pos,\times,1)$2 is the Stone–Čech compactification of the discrete poset $(\Pos,\times,1)$3. By the Barr-type reconstruction, $(\Pos,\times,1)$4 is an equivalence if and only if it induces bijections

$(\Pos,\times,1)$5

for all sets $(\Pos,\times,1)$6.

Surjectivity and injectivity of $(\Pos,\times,1)$7 are obtained from compactness and separation. If $(\Pos,\times,1)$8 is compact, every ultrafilter in $(\Pos,\times,1)$9 is realized by a point of $\C$0, yielding surjectivity. If $\C$1 is separated, distinct points induce distinct ultrafilters, yielding injectivity. Since each $\C$2 is covered by an order-filtral object, and order-filtral objects are compact and separated in a well-pointed cocomplete pretopos, each $\C$3 is bijective; hence $\C$4 is an equivalence on the projective cover and therefore on $\C$5 itself (Marquès et al., 13 Aug 2025).

6. Examples, dual descriptions, and limitations

Two examples calibrate the scope of order-filtrality. In $\C$6, the order-filtral objects are exactly the finite posets. Since surjections from finite posets cover any poset only if the poset is finite, $\C$7 fails the coverage condition appearing in the characterization theorem. This rules out a possible misconception that enrichment over $\C$8 alone suffices to force the compact ordered setting.

In $\C$9, the order-filtral objects are precisely the Priestley spaces, that is, the totally order-disconnected compact ordered spaces. Dually, every compact ordered space $\mathsf{KOrd}$00 is a continuous image of the Priestley dual of the distributive lattice $\mathsf{KOrd}$01. Concretely,

$\mathsf{KOrd}$02

is the surjection sending each prime filter of clopen up-sets to its unique point in $\mathsf{KOrd}$03 (Marquès et al., 13 Aug 2025).

These examples show that order-filtral objects are not auxiliary artifacts of the proof. In $\mathsf{KOrd}$04, they collapse to finitary order structure; in $\mathsf{KOrd}$05, they recover the Priestley objects that mediate between distributive lattices and compact ordered spaces. This suggests that order-filtral covers provide the exact enriched analogue of the spectral or dualizing objects needed to pass from algebraic data to compact ordered geometry.

7. Consequences and relation to surrounding theory

One consequence is a monadicity statement parallel to the classical case of $\mathsf{KOrd}$06. Specifically, $\mathsf{KOrd}$07 is monadic over $\mathsf{KOrd}$08 via the adjunction

$\mathsf{KOrd}$09

The induced monad is the prime-filter monad on $\mathsf{KOrd}$10.

A further consequence concerns exact poset-enriched categories with a projective discrete generator. Any such category embeds fully faithfully into a presheaf category $\mathsf{KOrd}$11 on its projective cover $\mathsf{KOrd}$12 and is recoverable as those presheaves that are quotients of representables by congruences covered by representables. This places the classification theorem within a broader reconstruction program for enriched exact categories.

The characterization also positions $\mathsf{KOrd}$13 as the unique non-degenerate poset-enriched pretopos with a discrete generator and enough order-filtral objects. The paper states that this parallels an earlier description of $\mathsf{KOrd}$14 among ordinary pretoposes, while crucially relying on the richer internal logic afforded by $\mathsf{KOrd}$15-enrichment (Marquès et al., 13 Aug 2025). The significance is methodological as well as classificatory: the theorem indicates that the ordered topological content of Nachbin spaces can be recovered from enriched exactness, enriched generation, and the lattice-theoretic behavior of upward complemented subobjects.