On categories of supertopological spaces Anna Tozzi, Oswald Wyler (1987) Acta Universitatis Carolinae. Mathematica et Physica
On proximities generated by countable families of entourages Svetlozar Ivanov, Jan Pelant, S. Nedev (2004) Commentationes Mathematicae Universitatis Carolinae It is shown that any proximity that is generated by a countable family of entourages is sequential. Metrization theorems for proximities are derived.