∀ {C : Type u} [inst : CategoryTheory.Category.{v, u} C] (G : CategoryTheory.Functor Cᵒᵖ GrpCat) {I : Type w'}
  (U : I → C) (γ : CategoryTheory.PresheafOfGroups.ZeroCochain G U) (i : I), γ⁻¹ i = (γ i)⁻¹