Monomorphisms in spaces with Lindelöf filters

Abstract

SpFi is the category of spaces with filters: an object is a pair (X, ℱ), X a compact Hausdorff space and ℱ a filter of dense open subsets of X. A morphism f: (Y,

) → (X, ℱ) is a continuous function f: Y → X for which f ⁻¹(F) ∈

whenever F ∈ ℱ. This category arises naturally from considerations in ordered algebra, e.g., Boolean algebra, lattice-ordered groups and rings, and from considerations in general topology, e.g., the theory of the absolute and other covers, locales, and frames, though we shallspecifically address only one of these connections here in an appendix. Now we study the categorical monomorphisms in SpFi. Of course, these monomorphisms need not be one-to-one. For general SpFi we derive a criterion for monicity which is rather inconclusive, but still permits some applications. For the category LSpFi of spaces with Lindelöf filters, meaning filters with a base of Lindelöf, or cozero, sets, the criterion becomes a real characterization with several foci (C(X), Baire sets, etc.), and yielding a full description of the monofine coreflection and a classification of all the subobjects of a given (X, ℱ) ∈ LSpFi. Considerable attempt is made to keep the discussion “topological, ” i.e., within SpFi, and to not get involved with, e.g., frames. On the other hand, we do not try to avoid Stone duality. An appendix discusses epimorphisms in archimedean ℓ-groups with unit, roughly dual to monics in LSpFi.