Open Prime Filter Monad

• The open prime filter monad is a categorical construct that uses prime filters on the lattice of open sets to characterize stably compact spaces.
• It integrates the T0-reflection of the ultrafilter space monad with dual adjunctions between topological spaces and bounded distributive lattices.
• This framework provides a compactification mechanism, bridging point-set topology with frame-theoretic formulations through its Eilenberg–Moore algebras.

Searching arXiv for the specified papers and closely related work on the open prime filter monad. The open prime filter monad is a monad on the category $\mathbf{Top}$ of topological spaces and continuous maps whose underlying space at $X$ consists of prime filters of the lattice of open sets $\mathcal O(X)$. In Simmons’ notation it is written $S=(E,m,e)$, while later work uses $\mathbb F=(F,\mu,\eta)$ for the same construction. Its central significance is categorical rather than merely set-theoretic: its Eilenberg–Moore algebras are precisely stably compact spaces, it yields the $T_0$ stable compactification, and it can be identified both as the $T_0$-reflection of the ultrafilter space monad and as a monad induced from the ideal frame comonad through the open-set–spectrum adjunction (Razafindrakoto, 2024, Razafindrakoto, 31 Jul 2025).

1. Definition and underlying functor

For a topological space $X$, a prime open filter is a proper filter $G\subseteq \mathcal O(X)$ such that whenever $O_1\cup O_2\in G$, then $X$0 or $X$1. The 2024 treatment states equivalently that $X$2 is a completely prime filter in the lattice of open sets. In Simmons’ notation,

$X$3

For each open set $X$4, one defines

$X$5

and these sets form a basis for the topology on $X$6. For a continuous map $X$7, the functorial action is

$X$8

which is again a prime open filter (Razafindrakoto, 2024).

The same construction is formulated in later notation as $X$9, where $\mathcal O(X)$0 is the set of all open prime filters on $\mathcal O(X)$1, and the topology is generated by the basic opens

$\mathcal O(X)$2

This description places the monad directly in the duality between topological spaces and bounded distributive lattices, with the open-set lattice $\mathcal O(X)$3 as the algebraic object whose prime filters become points of $\mathcal O(X)$4 (Razafindrakoto, 31 Jul 2025).

2. Unit, multiplication, and monadic form

The unit of the monad sends a point to its neighborhood filter of opens. In Simmons’ notation,

$\mathcal O(X)$5

Thus points embed as principal prime open filters. The multiplication is defined on a prime filter $\mathcal O(X)$6 of open subsets of $\mathcal O(X)$7 by

$\mathcal O(X)$8

This produces again a prime open filter on $\mathcal O(X)$9, and the monad axioms are satisfied (Razafindrakoto, 2024).

In the later notation $S=(E,m,e)$0, the same formulas appear as

$S=(E,m,e)$1

and

$S=(E,m,e)$2

Conceptually, $S=(E,m,e)$3 is a flattening operation: it collapses a prime filter of prime filters to a single prime filter by testing membership against the basic opens determined by opens of $S=(E,m,e)$4. The 2025 account emphasizes that this monad is induced by the adjunction

$S=(E,m,e)$5

so that the monadic structure is not ad hoc but inherited from a dual adjunction with the two-element lattice as schizophrenic object (Razafindrakoto, 31 Jul 2025).

3. Eilenberg–Moore algebras and stably compact spaces

A foundational result of Simmons, recalled in the 2024 paper, is that

$S=(E,m,e)$6

that is, the Eilenberg–Moore algebras of the prime open filter monad are precisely stably compact spaces. The 2025 paper states the same identification as

$S=(E,m,e)$7

with morphisms given by proper maps. In this sense, an algebra structure $S=(E,m,e)$8 or $S=(E,m,e)$9 is exactly the extra structure needed to interpret prime open filters as converging to canonical points in a stably compact space (Razafindrakoto, 2024, Razafindrakoto, 31 Jul 2025).

This algebraic characterization explains the compactificatory role of the monad. For a $\mathbb F=(F,\mu,\eta)$0-space $\mathbb F=(F,\mu,\eta)$1, the unit

$\mathbb F=(F,\mu,\eta)$2

is the $\mathbb F=(F,\mu,\eta)$3 stable compactification of Smyth–Simmons. The space $\mathbb F=(F,\mu,\eta)$4 is stably compact, the map $\mathbb F=(F,\mu,\eta)$5 is dense, and every continuous map from $\mathbb F=(F,\mu,\eta)$6 into a stably compact space factors uniquely through a proper map out of $\mathbb F=(F,\mu,\eta)$7. The same construction therefore serves both as a monadic free algebra and as a universal compactification into the stably compact world (Razafindrakoto, 2024).

A common source of confusion is the relation to the open filter monad studied in domain theory. Day’s theorem, revisited in 2019, concerns the open filter monad on $\mathbb F=(F,\mu,\eta)$8 built from all open filters rather than prime open filters, and its Eilenberg–Moore algebras are continuous lattices, not stably compact spaces (Yao et al., 2019). The distinction is structural: the open prime filter monad is tuned to stably compactness, whereas the open filter monad captures continuous lattice structure.

4. Relation to the ultrafilter space monad

One of the main categorical advances of the 2024 paper is the identification of the open prime filter monad as a separated form of the ultrafilter space monad. Let

$\mathbb F=(F,\mu,\eta)$9

be the ultrafilter space monad on $T_0$0, where $T_0$1 is the set of ultrafilters on the underlying set of $T_0$2, topologized by the basic opens

$T_0$3

There is a natural transformation

$T_0$4

obtained by restricting an ultrafilter to its open members. This is a morphism of monads $T_0$5 (Razafindrakoto, 2024).

Let $T_0$6 be the $T_0$7-reflector, with $T_0$8 the Kolmogorov quotient. The crucial identification is that for each space $T_0$9 there is a homeomorphism

$T_0$0

such that

$T_0$1

Hence $T_0$2, and categorically

$T_0$3

as monads on $T_0$4. The 2025 paper summarizes the same point by saying that $T_0$5 is the $T_0$6-quotient and soberification of $T_0$7. The monad is therefore not an alternative to ultrafilters but a $T_0$8-separated version of the ultrafilter construction (Razafindrakoto, 2024, Razafindrakoto, 31 Jul 2025).

This identification has immediate structural consequences. Since the composite $T_0$9 inherits its monad structure from general reflector–monad interaction, the category of open prime filter algebras becomes a reflective subcategory of $X$0. The 2024 paper presents the prime open filter monad precisely as the mechanism by which the ultrafilter monad is forced into the $X$1 regime while preserving compactificatory behavior (Razafindrakoto, 2024).

5. Frame-theoretic and pointfree formulations

The 2025 paper places the open prime filter monad inside the adjunction

$X$2

where $X$3 is the frame of opens of $X$4, and $X$5 is the spectrum of frame homomorphisms $X$6. On the algebraic side, the ideal lattice monad

$X$7

has as algebras the frames, and from it one obtains the ideal frame comonad

$X$8

on $X$9. The central statement is that the open prime filter monad is induced from $G\subseteq \mathcal O(X)$0 by the adjunction $G\subseteq \mathcal O(X)$1, more explicitly

$G\subseteq \mathcal O(X)$2

This exhibits the prime-filter construction on spaces and the ideal construction on frames as adjointly paired manifestations of the same structure (Razafindrakoto, 31 Jul 2025).

On this basis, the open prime filter monad becomes the point-set counterpart of a frame-theoretic comonad whose coalgebras are stably compact frames. The resulting comparison is precise: stably compact spaces are the Eilenberg–Moore algebras of $G\subseteq \mathcal O(X)$3, stably compact frames are the coalgebras of $G\subseteq \mathcal O(X)$4, and under the Boolean Ultrafilter Theorem one obtains a dual equivalence

$G\subseteq \mathcal O(X)$5

The same framework also reduces, under the same hypothesis, to the duality between compact Hausdorff spaces and compact regular frames (Razafindrakoto, 31 Jul 2025).

This pointfree reformulation clarifies why the open prime filter monad is central to Čech–Stone phenomena. The 2025 paper states that the composition $G\subseteq \mathcal O(X)$6, with $G\subseteq \mathcal O(X)$7 the Hausdorff reflector, is the Čech–Stone compactification reflector. The open prime filter monad is therefore the core topological ingredient from which the Hausdorff compactification is obtained by further reflection, while the corresponding frame-side construction is $G\subseteq \mathcal O(X)$8 (Razafindrakoto, 31 Jul 2025).

6. Related constructions, distinctions, and hypotheses

The 2024 paper shows that the prime open filter monad is not isolated but belongs to a larger family of reflector-modified monads. Under the Boolean Ultrafilter Theorem, the prime closed filter monad $G\subseteq \mathcal O(X)$9 of Bentley–Herrlich is isomorphic to the prime open filter monad. The result is formulated as a monad isomorphism $O_1\cup O_2\in G$0, so the open and closed prime filter compactifications are the same construction expressed in dual language. The same paper treats the separated completion monad for quasi-uniform spaces as an analogous composition of a completion monad with a separation reflector, and it also discusses a frame-side analogue involving the ideal comonad and a regular coreflector (Razafindrakoto, 2024).

The role of set-theoretic assumptions is therefore substantive rather than cosmetic. Several identifications in the literature, including the surjectivity needed to compare ultrafilters with prime filters, the isomorphism $O_1\cup O_2\in G$1, and the dual equivalences between stably compact spaces and frames, are stated under the Boolean Ultrafilter Theorem (Razafindrakoto, 2024, Razafindrakoto, 31 Jul 2025). The monad itself is defined without that hypothesis, but some representation theorems and equivalences are conditional.

A further distinction concerns the broader “filter monad” landscape. The 2019 reconstruction of Day’s approach studies the open filter monad $O_1\cup O_2\in G$2 on $O_1\cup O_2\in G$3-spaces, defined from all open filters, and proves that its algebras are continuous lattices with their Scott topology (Yao et al., 2019). This does not collapse the prime case into the non-prime one. Rather, it marks a bifurcation: one monadic line leads to continuous lattices through all open filters, while the open prime filter monad leads to stably compact spaces through prime filters of opens.

Taken together, these developments suggest a stable modern interpretation. The open prime filter monad is simultaneously a spectral construction on $O_1\cup O_2\in G$4, a $O_1\cup O_2\in G$5-separated quotient of ultrafilters, a compactification monad for stably compact spaces, and a topological face of the ideal-frame machinery. Its importance lies less in the bare set $O_1\cup O_2\in G$6 or $O_1\cup O_2\in G$7 than in the fact that the same object supports all of these roles within a single categorical framework (Razafindrakoto, 2024, Razafindrakoto, 31 Jul 2025).