Two Functors Induced by Certain Ideals of Function Rings

We discuss two types of ideals of rings of continuous real-valued functions on completely regular frames. The first are those which with every element they contain, they also contain the double annihilator of the element; and the second are those which for any two elements which are contained in exactly the same set of maximal ideals, they either contain both elements or miss both elements. We show that, in both cases, sending a frame to the lattice of these ideals is a functorial assignment. We construct a natural transformation between the functors that arise from these assignments. Frame maps do not always have left adjoints. We show that, for a certain collection of frame maps, the functor associated with the second type of ideals preserves and reflects the property of having a left adjoint.     

On some parallelism between complete regularity and zero-dimensionality

We explore some parallelism between the categories CRFrm and 0DFrm of completely regular frames and zero-dimensional frames, respectively, with a view to establishing zero-dimensional analogues of C*-quotients. A lattice homomorphism between the cozero parts of two completely regular frames can be lifted to a frame homomorphism between the Stone-?ech compactifications of the frames involved [13]. Here we lift a lattice homomorphism ψ: BL → BM between the Boolean parts of two zero-dimensional frames to a frame homomorphism between their universal zero-dimensional compactifications, and then study some properties of the lift.