Мне, темному специалисту по точкам на плоскости и многгранникам, как то было легче представлять себе рациональный гомотопический тип, гомотопические локализации имея в виду некий представляющий их объект. В кановском виде сумашедший и бесполезный, разумеется. Есть вопрос о моделях, конечно. И не всегда интересные -- кановские, что и говорить.

(Reply to this) (Parent)