摘要

Working within a plain texture (S, S), the authors construct a completion of a dicovering uniformity v on (S, S) in terms of prime S-filters. In case v is separated, a separated completion is then obtained using the To-quotient, and it is shown that this construction produces a reflector. For a totally bounded di-uniformity it is verified that these constructions lead to dicompactifications of the uniform ditopology. A condition is given under which complementation is preserved on passing to these completions, and an example on the real texture (R, R, rho) is presented.

  • 出版日期2011-8-15