Strong nearness frames having enough Cauchy filters (Q1592942)

The author investigates the Cauchy spectrum contravariant functor from the category of strong nearness frames having enough Cauchy filters and uniform frame maps to the category of complete strong nearness spaces and uniformly continuous functions. He also establishes sufficient conditions for the sum of nearness frames to have enough Cauchy filters. From these facts some results follow where the open-sets contravariant functor from topological spaces to frames transforms products into sums and inverse limits into direct limits.