Results 1 
3 of
3
Higher topos theory
, 2006
"... Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain com ..."
Abstract

Cited by 53 (0 self)
 Add to MetaCart
Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain complex of Gvalued singular cochains on X. An alternative is to regard H n (•, G) as a representable functor on the homotopy category
Homotopy Coherent Category Theory
, 1996
"... this paper we try to lay some of the foundations of such a theory of categories `up to homotopy' or more exactly `up to coherent homotopies'. The method we use is based on earlier work on: ..."
Abstract

Cited by 22 (6 self)
 Add to MetaCart
this paper we try to lay some of the foundations of such a theory of categories `up to homotopy' or more exactly `up to coherent homotopies'. The method we use is based on earlier work on:
On ∞topoi
, 2003
"... Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X, G); we will single out three of them for discussion here. First of all, one has the singular cohomology H n sing(X, G), which is defined as the cohomology of a complex of Gvalu ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X, G); we will single out three of them for discussion here. First of all, one has the singular cohomology H n sing(X, G), which is defined as the cohomology of a complex of Gvalued singular cochains. Alternatively, one may regard H n (•, G) as a representable functor on the homotopy category of topological spaces, and thereby define H n rep(X, G) to be the set of homotopy classes of maps from X into an EilenbergMacLane space K(G, n). A third possibility is to use the sheaf cohomology H n sheaf (X, G) of X with coefficients in the constant sheaf G on X. If X is a sufficiently nice space (for example, a CW complex), then all three of these definitions agree. In general, however, all three give different answers. The singular cohomology of X is constructed using continuous maps from simplices ∆k into X. If there are not many maps into X (for example if every path in X is constant), then we cannot expect H n sing (X, G) to tell us very much about X. Similarly, the cohomology group H n rep(X, G) is defined using maps from X into a simplicial complex, which (ultimately) relies on the existence of continuous realvalued functions on X. If X does not admit many realvalued functions, we should not expect H n rep (X, G) to be a useful invariant. However, the sheaf cohomology of X seems to be a good invariant for arbitrary spaces: it has excellent formal properties in general and sometimes yields