Algebraic theory of stacks
A DC-space (or space of dense constancies) is a Tychonoff space such that for each there is a family of open sets , the union of which is dense in , such that , restricted to each , is constant. A number of characterizations of DC-spaces are given, which lead to an algebraic generalization of the concept, which, in turn, permits analysis of DC-spaces in the language of archimedean -algebras. One is led naturally to the notion of an almost DC-space (in which the densely constant functions...
We prove some properties of quasi-local Ł-algebras. These properties allow us to give a structure theorem for Stonean quasi-local Ł-algebras. With this characterization we are able to exhibit an example which provides a negative answer to the first problem posed in [4].
A variety 𝕍 of algebras of a finite type is almost ff-universal if there is a finiteness-preserving faithful functor F: 𝔾 → 𝕍 from the category 𝔾 of all graphs and their compatible maps such that Fγ is nonconstant for every γ and every nonconstant homomorphism h: FG → FG' has the form h = Fγ for some γ: G → G'. A variety 𝕍 is Q-universal if its lattice of subquasivarieties has the lattice of subquasivarieties of any quasivariety of algebras of a finite type as the quotient of its sublattice....
We prove that the interval topology of an Archimedean atomic lattice effect algebra is Hausdorff whenever the set of all atoms of is almost orthogonal. In such a case is order continuous. If moreover is complete then order convergence of nets of elements of is topological and hence it coincides with convergence in the order topology and this topology is compact Hausdorff compatible with a uniformity induced by a separating function family on corresponding to compact and cocompact elements....
In this paper we establish some conditions for an almost -domain to be a -domain. Next -lattices satisfying the union condition on primes are characterized. Using these results, some new characterizations are given for -rings.