In this paper we prove two strict insertion theorems for frame homomorphisms. When applied to the frame of all open subsets of a topological space they are equivalent to the insertion statements of the classical theorems of Dowker and Michael regarding, respectively, normal countably paracompact spaces and perfectly normal spaces. In addition, a study of perfect normality for frames is made.

this paper we derive some results about sequentially continuous linear mappings within BISH. These results tend to reinforce our hope that such mappings may turn out to be bounded (continuous) after all. For background material on BISH, see [1], and for information about the relation between BISH, INT, and RUSS, see [2]. 2 Sequential continuity preserves Cauchyness

Abstract. We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites. 1.

This paper presents a new treatment of the localic Katětov-Tong interpolation theorem, based on an analysis of special properties of normal frames, which shows that it does not hold in full generality. Besides giving us the conditions under which the localic Katětov-Tong interpolation theorem holds, this approach leads to a especially transparent and succint proof of it. It is also shown that this pointfree extension of Katětov-Tong Theorem still covers the localic versions of Urysohn’s Lemma and Tietze’s Extension Theorem.

The aim of this note is to show how various facts in classical topology connected with semicontinuous functions and the semicontinuous quasi-uniformity have their counterparts in pointfree topology. In particular, we introduce the localic semicontinuous quasi-uniformity, which generalizes the semicontinuous quasiuniformity of a topological space (known to be one of the most important examples of transitive compatible quasi-uniformities). We show that it can be characterized in terms of the so called spectrum covers, via a construction introduced by the authors in a previous paper. Several consequences are derived.