#homotopy #higher-algebra/cobordism

Why study cobordism?

Cobordism is a much coarser equivalence relation than diffeomorphism or homeomorphism of manifolds, and is significantly easier to study and compute. It is not possible to classify manifolds up to diffeomorphism or homeomorphism in dimensions ≥ 4 - because the word problem for groups cannot be solved - but it is possible to classify manifolds up to cobordism.

It performed an important role, historically speaking, in developments in topology in the 1950s and early 1960s, in particular in the Hirzebruch-Riemann-Roch theorem, and in the first proofs of the Atiyah-Singer index theorem.

Every vector bundle theory (real, complex etc.) has an extraordinary cohomology theory called K-theory