Abstract:A Pervin space is a set equipped with a bounded sublattice of its powerset, while its pointfree version, called Frith frame, consists of a frame equipped with a generating bounded sublattice. It is known that the dual adjunction between topological spaces and frames extends to a dual adjunction between Pervin spaces and Frith frames, and that the latter may be seen as representatives of certain quasi-uniform structures. As such, they have an underlying bitopological structure and inherit a natural notion of completion. In this paper we start by exploring the bitopological nature of Pervin spaces and of Frith frames, proving some categorical equivalences involving zero-dimensional structures. We then provide a conceptual proof of a duality between the categories of $T_0$ complete Pervin spaces and of complete Frith frames. This enables us to interpret several Stone-type dualities as a restriction of the dual adjunction between Pervin spaces and Frith frames along full subcategory embeddings. Finally, we provide analogues of Banaschewski and Pultr's characterizations of sober and $T_D$ topological spaces in the setting of Pervin spaces and of Frith frames, highlighting the parallelism between the two notions.

SPECTRUMS OF GENERALIZED FRAMES

Generalized Frames and Quotients of Generalized Frames

Some Remarks on Projective Representations of Compact Groups and Frames

Categorical frameworks for generalized functions

Aldroubi Judging Criterions of Generalized Frames

Generalized Bertrand Curves of Non-Light-like Framed Curves in Lorentz–Minkowski 3-Space

Periodic frames

Frames for model spaces

Raney extensions of frames: topological aspects

The Stone Representations for Generalized Continuous Posets

Generalized Dual Hilbert–Schmidt Frames and Their Topological Properties

Geometrically Uniform Frames

Pervin spaces and Frith frames: bitopological aspects and completion

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

G-Frame and Riesz Sequences in Hilbert Spaces

From telescopes to frames and simple groups

Pointless Parts of Completely Regular Frames

A pointfree theory of Pervin spaces

Frames generated by graphs

A class of naturally generalized special generic maps

Topological representations for frame-valued domains via $L$-sobriety