幾何トポロジーにおける同相型理論:一つの特殊なケース