Raney Morphism

• Raney morphism is a structure-preserving map for Raney extensions that ensures compatibility between frame and coframe components via a commuting inclusion square.
• It establishes a categorical framework where coframe maps extend frame maps while preserving finite meets, arbitrary joins, and strongly exact meets.
• Applications include extending frame–space duality beyond classical frames and ensuring unique, exact lifting of continuous maps in topological and algebraic contexts.

Searching arXiv for papers on Raney morphisms and Raney extensions. Raney morphism is the morphism notion attached to a Raney extension, a pointfree structure designed to extend frame–space duality beyond classical frames while retaining a direct connection with $T_0$ spaces. In the foundational formulation, a Raney extension is a pair $(L,C)$ in which $C$ is a coframe, $L\subseteq C$ is a meet-generating frame sublattice, and the inclusion preserves the frame operations together with strongly exact meets. A Raney morphism $f:(L,C)\to(L',C')$ is then a coframe map on the coframe components whose restriction to the embedded frame part lands in $L'$ and is a frame morphism there (Suarez, 2024). Subsequent work recast the same notion in equivalent sublocale and McKinsey–Tarski-algebraic languages, showing that Raney morphisms are the categorical arrows that make Raney extensions compatible both with continuous maps of spaces and with exact frame maps (Suarez, 2024, Bezhanishvili et al., 1 Sep 2025, Suarez, 25 Sep 2025).

1. Formal definition

Let $(L,C)$ and $(L',C')$ be Raney extensions, with $C$ and $C'$ coframes, $(L,C)$0 and $(L,C)$1 meet-generating frame sublattices, and the inclusions preserving all finite meets, all joins in the frame part, and all strongly exact meets. A Raney morphism

$(L,C)$2

is, by definition, a coframe map

$(L,C)$3

whose restriction to $(L,C)$4 lands in $(L,C)$5 and makes $(L,C)$6 a frame morphism (Suarez, 2024).

Equivalently, one specifies a pair

$(L,C)$7

such that three compatibility requirements hold. First, $(L,C)$8 preserves finite meets and arbitrary joins in $(L,C)$9: $C$0 Second, $C$1 preserves finite joins and arbitrary meets in $C$2, hence in particular strongly exact meets: $C$3 Third, the inclusion square commutes: $C$4 This commuting square expresses that the coframe-level map genuinely extends the frame-level map rather than merely coexisting with it (Suarez, 2024).

In the alternative formulation of Raney extensions as pairs $C$5, the same notion is given more tersely: a morphism $C$6 is a coframe morphism $C$7 whose restriction to $C$8 is a frame morphism $C$9 (Bezhanishvili et al., 1 Sep 2025). The two descriptions are equivalent up to ordering of the components.

2. Category-theoretic role

Raney morphisms form the arrows of a well-defined category $L\subseteq C$0. The identity on $L\subseteq C$1 is

$L\subseteq C$2

and if

$L\subseteq C$3

are Raney morphisms, then composition is componentwise: $L\subseteq C$4 These operations again satisfy the defining axioms, so Raney extensions and Raney morphisms indeed form a category (Suarez, 2024).

This categorical structure is not ancillary. The literature explicitly treats Raney morphisms as the “appropriate notion of morphism” for Raney extensions because they simultaneously respect the frame part, the coframe part, and the embedding that binds the two together (Suarez, 2024). A plausible implication is that weaker morphism notions would fail to transport enough of the topological or lattice-theoretic structure, whereas stronger notions would obstruct the intended dualities.

A parallel categorical construction appears in the sublocale presentation. There, a Raney extension of a frame $L\subseteq C$5 is a subcoframe $L\subseteq C$6 containing all principal opens, and a frame homomorphism $L\subseteq C$7 lifts to a Raney morphism precisely when the induced map on principal opens extends uniquely to a coframe homomorphism

$L\subseteq C$8

with

$L\subseteq C$9

Composition and identities are inherited from $f:(L,C)\to(L',C')$0 and $f:(L,C)\to(L',C')$1, yielding the same category $f:(L,C)\to(L',C')$2 (Suarez, 25 Sep 2025).

3. Extension theorems and exactness

A central question is when a frame map extends to a Raney morphism. One formulation uses filter-theoretic data attached to the coframe component. For Raney extensions $f:(L,C)\to(L',C')$3 and $f:(L,C)\to(L',C')$4, write

$f:(L,C)\to(L',C')$5

for the corresponding fixed filters. Then a frame map $f:(L,C)\to(L',C')$6 extends to a Raney morphism

$f:(L,C)\to(L',C')$7

if and only if

$f:(L,C)\to(L',C')$8

When this criterion holds, the extension is unique (Suarez, 2024, Suarez, 2024).

The same theorem is presented constructively in terms of meet-generation. If

$f:(L,C)\to(L',C')$9

is an element of $L'$0 expressed as a meet of frame elements, then the extension is defined by

$L'$1

and the theorem asserts that this is well-defined, independent of the chosen presentation, preserves meets and joins in $L'$2, and restricts to $L'$3 on $L'$4 (Suarez, 2024).

A more specialized criterion emerges in the exact setting. An exact Raney morphism is one whose frame component also preserves exact meets. Equivalently, the coframe component preserves those meets coming from the embedded frame (Suarez, 2024). One then has:

• A frame map $L'$5 is exact if and only if it extends uniquely to a Raney morphism

$L'$6

• Exact Raney maps form a subcategory $L'$7 (Suarez, 2024).

In the sublocale presentation, this becomes an exactness criterion stated directly on frame maps: a frame map $L'$8 lifts to a Raney morphism $L'$9 if and only if $(L,C)$0 is exact in the sense that exact meets are preserved and reflected by the required equation

$(L,C)$1

This result is identified as the main lifting theorem in that setting (Suarez, 25 Sep 2025).

These formulations are consistent rather than competing. This suggests that the notion of Raney morphism is organized around a lifting problem: one starts with a frame map and asks whether the additional coframe data can be transported functorially.

4. Relation to spaces, spectra, and duality

Raney morphisms are tightly connected with the pointfree/topological adjunction extending the classical frame-spectrum duality. There is an idempotent adjunction

$(L,C)$2

defined by sending a space $(L,C)$3 to

$(L,C)$4

where $(L,C)$5 is the frame of opens and $(L,C)$6 is the coframe of saturated sets, and sending a continuous map $(L,C)$7 to the inverse-image map $(L,C)$8 (Suarez, 2024, Suarez, 2024).

On the pointfree-to-spatial side, the spectrum functor maps a Raney extension $(L,C)$9 to the space of completely join-prime elements of $(L',C')$0, equipped with opens

$(L',C')$1

On Raney morphisms, the induced map is $(L',C')$2 (Suarez, 2024). In this way, Raney morphisms generalize the contravariant action of continuous maps on opens while retaining enough coframe structure to recover saturated-set behavior.

Several standard duality statements follow. The adjunction $(L',C')$3 is idempotent, and its fixpoints are precisely $(L',C')$4 spaces and spatial Raney extensions (Suarez, 2024). The classical adjunction $(L',C')$5 between spaces and frames is recovered as a special case (Suarez, 2024). For a frame $(L',C')$6, the largest and smallest Raney extensions over it have spectra equal to the classical spectrum $(L',C')$7 and the $(L',C')$8 spectrum $(L',C')$9, respectively (Suarez, 2024).

The categorical content is significant. A continuous map $C$0 corresponds exactly to a Raney morphism

$C$1

so the notion is not merely analogous to continuity but is the direct pointfree avatar of it (Suarez, 2024).

5. Separation axioms, sobriety, and reflective structure

Raney morphisms participate in the pointfree reformulation of sobriety and separation axioms. For a Raney extension $C$2:

• It is sober if and only if every completely prime filter of $C$3 lies in $C$4, equivalently if and only if $C$5 is CP-compact (Suarez, 2024).
• It is $C$6 if and only if it is E-dense, hence E-canonical, if and only if it is isomorphic to $C$7 (Suarez, 2024).
• It is $C$8 if and only if $C$9 is Boolean (Suarez, 2024).

These characterizations yield universal constructions formulated in terms of Raney morphisms. Every Raney extension admits a universal soberification map

$C'$0

(Suarez, 2024). Likewise, in the exact subcategory $C'$1, every object admits a universal arrow to the $C'$2 object $C'$3, giving the $C'$4-reflection

$C'$5

(Suarez, 2024).

The frame-theoretic consequences are explicit. A frame is subfit if and only if it admits a $C'$6 Raney extension, and such an extension is unique, namely $C'$7 (Suarez, 2024). A subfit frame is scattered if and only if it admits a unique Raney extension, equivalently

$C'$8

(Suarez, 2024).

These results give Raney morphisms a second role beyond mere transport of structure: they organize the universal arrows associated with soberification and $C'$9 reflection.

6. Alternative formulations and equivalences

Subsequent work established that Raney morphisms admit equivalent reformulations in other algebraic environments.

Raney extensions as subcolocales

One description identifies a Raney extension of a frame $(L,C)$00 with a subcoframe

$(L,C)$01

containing all open sublocales (Suarez, 25 Sep 2025). In this language, a Raney morphism is precisely a frame homomorphism whose action on principal opens extends uniquely to a coframe morphism on the chosen subcoframes (Suarez, 25 Sep 2025). This reformulation makes the link with fitted sublocales explicit.

McKinsey–Tarski algebras

Another description uses MT-algebras. For an MT-algebra $(L,C)$02, let $(L,C)$03 be the open elements and $(L,C)$04 the saturated elements. A Raney morphism between MT-algebras is a function satisfying five axioms:

1. $(L,C)$05 is a coframe morphism.
2. $(L,C)$06 is a frame morphism.
3. $(L,C)$07 for all $(L,C)$08.
4. $(L,C)$09 for all $(L,C)$10.
5. For every $(L,C)$11,

$(L,C)$12

With a nonstandard composition law

$(L,C)$13

these form a category $(L,C)$14 (Bezhanishvili et al., 1 Sep 2025).

The functor

$(L,C)$15

sends MT-level Raney morphisms to Raney morphisms of Raney extensions (Bezhanishvili et al., 1 Sep 2025). Conversely, a generalized Funayama envelope construction $(L,C)$16 sends a Raney extension to an MT-algebra whose open part is isomorphic to the frame component and whose saturated part is isomorphic to the coframe component (Bezhanishvili et al., 1 Sep 2025). The resulting functors are quasi-inverse, yielding an equivalence

$(L,C)$17

(Bezhanishvili et al., 1 Sep 2025).

This equivalence clarifies that Raney morphisms are not tied to a single presentation. They can be read as coframe/frame-compatible maps, as lifting maps between subcolocales, or as five-axiom morphisms in MT-algebraic form.

7. Examples, limitations, and non-functorial phenomena

A standard positive example starts from an exact frame morphism $(L,C)$18. Then there are induced coframe maps

$(L,C)$19

given by $(L,C)$20, the left adjoint to pullback on filters. These assemble to a Raney morphism

$(L,C)$21

with frame part $(L,C)$22 and coframe part $(L,C)$23 (Suarez, 2024).

A topological example is also canonical. If $(L,C)$24 is continuous, then the induced frame map

$(L,C)$25

extends uniquely to a Raney morphism

$(L,C)$26

namely the pullback on saturated sets (Suarez, 2024). By contrast, a noncontinuous set-map may induce a frame map on opens without extending to a Raney morphism, precisely because the saturated-set condition fails (Suarez, 2024).

The literature also records examples showing that Raney morphisms are strictly more general than more rigid alternatives. One MT-algebraic example uses the inclusion

$(L,C)$27

between complete lattices derived from the Cantor-set construction. This map is a complete lattice homomorphism and hence a Raney morphism of the corresponding Raney extensions, but it does not lift to a Boolean homomorphism between the Boolean/MacNeille envelopes. Thus it is not a plain MT-morphism, even though it is a Raney morphism (Bezhanishvili et al., 1 Sep 2025).

A different limitation appears in the relation to strictly zero-dimensional biframes. There is a bijection on objects between proper Raney extensions and certain essential strictly zero-dimensional biframes, but this correspondence cannot be made functorial in the obvious way. A frame morphism may lift to a Raney morphism between Raney extensions without lifting to a morphism between the associated biframes (Suarez, 25 Sep 2025). The exhibited mechanism is an exact surjection that is not smooth: the Raney lift exists by the exactness criterion, but the biframe lift does not (Suarez, 25 Sep 2025).

Taken together, these examples delineate the scope of the concept. Raney morphisms are more flexible than plain MT-morphisms, yet still sufficiently structured to sustain adjunctions, reflections, and separation-theoretic constructions. This suggests that their distinctive feature is not maximal rigidity but precise compatibility with the pointfree enrichment carried by a Raney extension.