Completion as reflection
A topological space is non-separably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected sequential topological space X is the image of a non-separably connected complete metric space X under a monotone quotient map. The metric of the space X is economical in the sense that for each infinite subspace A ⊂ X the cardinality of the set does not exceed the density of A, . The construction of the space X determines a functor : Top...
We investigate the triples in the category of compacta whose functorial parts are normal functors in the sense of E.V. Shchepin (normal triples). The problem of lifting of functors to the categories of algebras of the normal triples is considered. The distributive law for normal triples is completely described.
It is shown that the construct of supertopological spaces and continuous maps is topological.