Cohomology ring functor commutes with direct limits

From Topospaces
Revision as of 15:15, 3 December 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Let be a ring of coefficients. Then the cohomology ring of a direct limit of topological spaces, with coefficients in , is the inverse limit of the cohomology rings of each of the spaces. Direct limit becomes inverse limit because the cohomology ring functor is contravariant.