{k G H : Type u} →
  [inst : CommRing k] →
    [inst_1 : Group G] →
      [inst_2 : Group H] →
        {A : Rep k H} →
          {B : Rep k G} →
            (f : G →* H) →
              ((Action.res (ModuleCat k) f).obj A ⟶ B) →
                (n : ℕ) → groupCohomology.cocycles A n ⟶ groupCohomology.cocycles B n