Let A be a locally bounded k-category and G a torsion-free group of k-linear automorphisms of A acting freely on the objects of A, and F : A → B is a Galois functor. We extend naturally the push-down functor F λ to the functor HF λ : H(mod-A) → H(mod-B), resp. SF λ : S(mod-A) → S(mod-B), between the corresponding morphism categories, resp. monomorphism categories, of mod-A and mod-B. Under some additional conditions, we show that H(mod-A), resp. S(mod-A), is locally bounded if and only if H(mod-B), resp. S(mod-B), is of finite representation type. As an application, we show that the stable Auslander algebra of a representation-finite selfinjective algebra Λ is again representationfinite if and only if Λ is of Dynkin type An with n 4.