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