Rational Homotopy Type of Inverse Systems in T2 Category

Преимуществом подхода Квиллена к построению теории рационального гомотопического типа для категории T2 односвязных топологических пространств и установлению ее связи с алгебраическими структурами является функториальность. Это позволяет обобщить теорию на случай обратных систем.
В настоящей статье определяется понятие рационального гомотопического типа обратных систем односвязных топологических пространств. Доказывается его эквивалентность рациональным гомотопическим теориям обратных систем некоторых алгебраических категорий.

рациональный гомотопический тип, обратные системы, замкнутая модельная категория, сопряженные функторы, эквивалентности