Given an axiomatic account of the category of locales the closed subgroup theorem is proved. The theorem is seen as a consequence of a categorical account of the Hofmann-Mislove theorem. The categorical account has an order dual providing a new result for locale theory: every compact subgroup is necessarily fitted.

We present a unified treatment of pointfree metrization theorems based on an analysis of special properties of bases. It essentially covers all the facts concerning metrization from Engelking [1] which make pointfree sense. With one exception, where the generalization is shown to be false, all the theorems extend to the general pointfree context.

A covariant representation of the category of locales by approximate maps (mimicking a natural representation of continuous maps between spaces in which one approximates points by small open sets) is constructed. It is shown that it can be given a Kleisli shape, as a part of a more general Kleisli representation of meet preserving maps. Also, we present the spectrum adjunction in this approximation setting.

This paper extends the notion of an archimedean frame to frames which are not necessarily algebraic. The new notion is called joinfitness and is Choice-free. Assuming the Axiom of Choice and for compact normal algebraic frames, the new and the old coincide. There is a subfunctor from the category of compact normal frames with skeletal maps with joinfit values, which is almost a coreflection. Conditions making it so are briefly discussed. The concept of an infinitesimal element arises naturally,...

More precisely, we are analyzing some of H. Simmons, S. B. Niefield and K. I. Rosenthal results concerning sublocales induced by subspaces. H. Simmons was concerned with the question when the coframe of sublocales is Boolean; he recognized the role of the axiom $T_D$ for the relation of certain degrees of scatteredness but did not emphasize its role in the relation between sublocales and subspaces. S. B. Niefield and K. I. Rosenthal just mention this axiom in a remark about Simmons’ result. In this...

This note establishes that the familiar internal characterizations of the Tychonoff spaces whose rings of continuous real-valued functions are complete, or $\sigma$-complete, as lattice ordered rings already hold in the larger setting of pointfree topology. In addition, we prove the corresponding results for rings of integer-valued functions.

We characterize those regular continuous frames for which the least compactification is a perfect compactification. Perfect compactifications are those compactifications of frames for which the right adjoint of the compactification map preserves disjoint binary joins. Essential to our characterization is the construction of the frame analog of the two-point compactification of a locally compact Hausdorff space, and the concept of remainder in a frame compactification. Indeed, one of the characterizations...

In an algebraic frame $L$ the dimension, $dim\left(L\right)$, is defined, as in classical ideal theory, to be the maximum of the lengths $n$ of chains of primes $p_0<p_1<\cdots <p_n$, if such a maximum exists, and $\infty$ otherwise. A notion of “dominance” is then defined among the compact elements of $L$, which affords one a primefree way to compute dimension. Various subordinate dimensions are considered on a number of frame quotients of $L$, including the frames $dL$ and $zL$ of $d$-elements and $z$-elements, respectively. The more concrete illustrations...

This paper continues the investigation into Krull-style dimensions in algebraic frames. Let $L$ be an algebraic frame. $dim\left(L\right)$ is the supremum of the lengths $k$ of sequences $p_0<p_1<\cdots <p_k$ of (proper) prime elements of $L$. Recently, Th. Coquand, H. Lombardi and M.-F. Roy have formulated a characterization which describes the dimension of $L$ in terms of the dimensions of certain boundary quotients of $L$. This paper gives a purely frame-theoretic proof of this result, at once generalizing it to frames which are not necessarily...

Given a locale $L$ and a join semilattice $J$ with bottom element $0_J$, a new concept $(\sigma ,J)$ called $L$-slice is defined,where $\sigma$ is as an action of the locale $L$ on the join semilattice $J$. The $L$-slice $(\sigma ,J)$ adopts topological properties of the locale $L$ through the action $\sigma$. It is shown that for each $a\in L$, ${\sigma }_a$ is an interior operator on $(\sigma ,J)$.The collection $M=\{{\sigma }_a;a\in L\}$ is a Priestly space and a subslice of $L$-$Hom(J,J)$. If the locale $L$ is spatial we establish an isomorphism between the $L$-slices $(\sigma ,L)$ and $(\delta ,M)$. We have shown that the fixed set of ${\sigma }_a$,...