Both cases ($F$ is a sheaf of abelian topological groups or abelian Lie groups) can be treated using the same machinery.

The Yoneda embedding embeds abelian Lie groups as a fully faithful subcategory of the category of sheaves of abelian groups on the site of smooth manifolds, and the embedding functor preserves small limits. I refer to the latter category as the category of abelian smooth groups. This category is complete and cocomplete. It is, in fact, better behaved than the category of abelian topological groups, since the latter category is not an abelian category: a morphism of abelian topological groups can have a trivial kernel and cokernel, without being an isomorphism. On the other hand, the category of smooth groups is abelian.

For this reason, the latter construction is in fact preferred for computing cohomology of Lie groups, and can be easily generalized to non-abelian Lie groups. It is essentially (a reformulation of) the Segal–Mitchison cohomology.

From now on, we work either with presheaves of chain complexes of abelian topological groups or presheaves of chain complexes of smooth groups.

The category of such chain complexes can be equipped with the projective model structure transferred from simplicial topological spaces respectively simplicial sheaves on the site of smooth manifolds.

The category of presheaves of such chain complexes can itself be equipped with the projective model structure, which can then be further localized with respect to Čech nerves of open covers. Fibrant objects in the resulting model category are presheaves of chain complexes that satisfy the homotopy descent condition.

The fibrant replacement functor computes the (hyper)cohomology of sheaves. More precisely, if $F→RF$ is a fibrant replacement of the sheaf $F$, then $H^i(X,F)=H^i(Γ(X,RF))$.

In particular, the cohomology group $H^i(X,F)$ is by definition a smooth (respectively topological) group, since $H^i$ is computed in the category of smooth (respectively topological) groups. For the case of smooth groups, this reproduces the Segal–Mitchison cohomology.

Both cases ($F$ is a sheaf of abelian topological groups or abelian Lie groups) can be treated using the same machinery.

The Yoneda embedding embeds abelian Lie groups as a fully faithful subcategory of the category of sheaves of abelian groups on the site of smooth manifolds, and the embedding functor preserves small limits. I refer to the latter category as the category of abelian smooth groups. This category is complete and cocomplete. It is, in fact, better behaved than the category of abelian topological groups, since the latter category is not an abelian category: a morphism of abelian topological groups can have a trivial kernel and cokernel, without being an isomorphism. On the other hand, the category of smooth groups is abelian.

From now on, we work either with presheaves of chain complexes of abelian topological groups or presheaves of chain complexes of smooth groups.

The category of such chain complexes can be equipped with the projective model structure transferred from simplicial topological spaces respectively simplicial sheaves on the site of smooth manifolds.

The category of presheaves of such chain complexes can itself be equipped with the projective model structure, which can then be further localized with respect to Čech nerves of open covers. Fibrant objects in the resulting model category are presheaves of chain complexes that satisfy the homotopy descent condition.

The fibrant replacement functor computes the (hyper)cohomology of sheaves. More precisely, if $F→RF$ is a fibrant replacement of the sheaf $F$, then $H^i(X,F)=H^i(Γ(X,RF))$.

The resulting cohomology theory is essentially (a reformulation of) the Segal–Mitchison cohomology in the topological case, or its smooth version by Brylinski.

In particular, the cohomology group $H^i(X,F)$ is by definition a smooth (respectively topological) group, since $H^i$ is computed in the category of smooth (respectively topological) groups.