(R : Type u_1) →
  (G : Type u_2) →
    [inst : CommRing R] →
      [inst_1 : Group G] →
        [inst_2 : TopologicalSpace R] →
          [inst_3 : TopologicalSpace G] →
            [IsTopologicalGroup G] →
              CategoryTheory.Functor (Action (TopModuleCat R) G) (CochainComplex (TopModuleCat R) ℕ)