Strong Nearness Frames Having Enough Cauchy Filters

We prove results establishing sufficient conditions for the sum of two nearness frames to have enough Cauchy filters. From these results and the fact that, in the category of strong nearness frames having enough Cauchy filters and uniform frame maps, complete spatial frames form a coreflective subcategory, follow a variety of results where the open-sets contravariant functor from topological spaces to frames transforms products into sums and inverse limits into direct limits.