For a category K we use Ob(K) to denote the class of all objects of K; if X, Y Ob(K), then Mor K (X, Y) is the set of all K-morphisms from X into Y. Let A and B be subcategories of the category of all topological spaces and their continuous maps. We say that a covariant functor F:A → B is an embedding functor if there exists a class {i X : X Ob(A)} satisfying the following conditions: (i) i X :X → F(X) is a homeomorphic embedding for every X Ob(A), and (ii) if X, Y ε Ob(A) and f ε Mor K (X, Y), then F(f) i X = i Y f. For a natural number n let C(n) denote the category of all n-dimensional compact metric spaces and their continuous maps. Let G(< ∞) be the category of all Hausdorff finite-dimensional topological groups and their continuous group homomorphisms. We prove that there is no embedding covariant functor F:C(1) → G(< ∞), but there exists a covariant embedding functor F:C(0) → G(0), where G(0) is the category consisting of the single (zero-dimensional) compact metric group Z ω 2 and all its continuous group homomorphisms into itself, i.e., Ob(G(0)) = {Z ω 2 } and Mor G ( 0 ) (Z ω 2 , Z ω 2 ) is the set of all continuous group homomorphisms from Z ω 2 into Z ω 2 .