is defined arbitrarily for maps , then if we use the identity map we get is the intersection number of the diagonal with itself in the product manifold , i.e., the Euler characteristic. On the algebraic topological level I'm sure this holds too, that