Yes, homology is a coalgebra, with the coproduct given by the pushforward X -> X x X. This is dual to the ring structure on cohomology, so at least over a field, they determine each other.
Ben Webster ♦
- 44.7k
- 12
- 126
- 260