Monomorphisms in spaces with Lindelöf filters

Title:

Monomorphisms in spaces with Lindelöf filters

Creator:

Ball, Richard N. and Hager, Anthony W.

Identifier:

https://cdk.lib.cas.cz/client/handle/uuid:d9f5ec80-6d2c-4a00-8f7a-8e3fa36383e4
uuid:d9f5ec80-6d2c-4a00-8f7a-8e3fa36383e4

Subject:

compact Hausdorff space, Lindelöf set, and monomorphism

Type:

model:article and TEXT

Format:

bez média and svazek

Description:

$\mathbf{SpFi}$ is the category of spaces with filters: an object is a pair $(X,\mathcal{F}) $, $X$ a compact Hausdorff space and $\mathcal{F}$ a filter of dense open subsets of $X$. A morphism $f\: (Y,\mathcal{G}) \rightarrow (X,\mathcal{F}) $ is a continuous function $f\: Y\rightarrow X$ for which $f^{-1}(F) \in \mathcal{G}$ whenever $F\in \mathcal{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 shall specifically address only one of these connections here in an appendix. Now we study the categorical monomorphisms in $\mathbf{SpFi}$. Of course, these monomorphisms need not be one-to-one. For general $\mathbf{SpFi}$ we derive a criterion for monicity which is rather inconclusive, but still permits some applications. For the category $\mathbf{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,\mathcal{F}) \in \mathbf{LSpFi}$. Considerable attempt is made to keep the discussion “topological,” i.e., within $\mathbf{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 $\ell $-groups with unit, roughly dual to monics in $\mathbf{LSpFi}$.

Language:

English

Rights:

http://creativecommons.org/publicdomain/mark/1.0/
policy:public

Coverage:

281-317

Source:

Czechoslovak Mathematical Journal | 2007 Volume:57 | Number:1

Harvested from:

CDK

Metadata only:

false