$\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}$.
Let Ln = K[x1±1,..., xn±1] be a Laurent polynomial algebra over a field K of characteristic zero, Wn:= DerK(Ln) the Lie algebra of K-derivations of the algebra Ln, the so-called Witt Lie algebra, and let Vir be the Virasoro Lie algebra which is a 1-dimensional central extension of the Witt Lie algebra. The Lie algebras Wn and Vir are infinite dimen- sional Lie algebras. We prove that the following isomorphisms of the groups of Lie algebra automorphisms hold: AutLie(Vir) \simeq AutLie(W1) \simeq {±1} \simeq K*, and give a short proof that AutLie(Wn) \simeq AutK-alg(Ln) \simeq GLn(Z) \ltimes K*n., Vladimir V. Bavula., and Obsahuje seznam literatury