Classification Problem이라면 당연히 임의의 두 manifold M, N이 homeomorphic/diffeomorphic/homotopy equivalent한지 물어봐야지

둘 중 하나를 S^n으로 고정시키고 Poincare conjecture 같은 거 100년 200년 동안 풀고 있으면 어떡하냐 이거야~