다양체 이론: 위상동형사상과 동조 이론