Cohomology ring functor commutes with direct limits
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.