نظریه هموتوپی و فضاهای طبقه‌بندی‌کننده