Depending a bit on context, a hypercover is a local weak equivalence or local acyclic fibration in the model structure on simplicial presheaves for a given site .
In particular, for the point hypercovers are hypercovers of simplicial sets and hence of topological spaces.
So a hypercover is a morphism of simplicial presheaves (thought of a models for ∞-stacks and hence for generalized spaces) that exhibits as a possibly big “puffed-up” version of .
The term hypercover is to be read in contrast with the term Čech cover of which it is, in general, a generalization. If all hypercovers are Čech covers one deals with the Čech model structure on simplicial presheaves. The hom-sets in the corresponding homotopy category are then Čech cohomology.
More generally in the standard local model structure on simplicial presheaves hypercovers are the local (stalkwise if the sheaf topos has enough points) weak equivalences (local acyclic fibrations), of which there are more than Čech covers. One also speaks of the hypercompletion of the Čech model.
Generally, cohomology defined in terms of the (∞,1)-topos presented by the hypercompleted local model structure on simplicial presheaves has been regarded as the “right” notion of cohomology. In particular that coincides with standard abelian sheaf cohomology when restricted to the abelian case.
On the other hand, more rencently in
it is argued that the (∞,1)-topos coming from just localizing at Čech covers is in fact better behaved in many respects.
The term hypercover originates in the fact that for any regular epimorphism, hence an ordinary cover, the simplicial object
is an acyclic fibration
over of simplicial objects, but not all acyclic fibrations arise this way: a generic hypercover of simplicial objects is obtained by starting with a cover , then choosing a cover of the fiber product , and so on.
Hypercovers are usually (for instance in the model structure on simplicial sets characterized as being those morphisms for which all images of boundaries of standard -cells globes or simplices, ) every -cell filling this boundary in lifts to .
Diagrammatically this means: is a hypercover if for all commuting diagrams
there exists a diagonal lift
In the context of the model structure on simplicial sets, these are the hypercovers proper. In the context of the folk model structure on strict ω-categories this are the -functors which are -surjective for all .
The condition on hypercovers, being acyclic fibrations is closely related to the condition on fibrations. Usually the lifting property for fibrations is obtained from that for hypercovers by removing in the boundary of the standard -cell one face.
For instance the definition of a hypercover of simplicial sets becomes that of a Kan fibration if the full boundary is replaced by a horn .
In the globular set by replacing the inclusion of the boundary of the standard -globe into the -globe with the inclusion of the standard -globe (which is one-half of the full boundary), the above lifting condition is that of fibrations in the folk model structure on ω-groupoids.
See the remark at the end of section 2, on p. 6 of
For a thorough discussion see