Б.Шойхет, Алгебра и теория гомотопий, Лекция 12 (21.12.2024), часть 2

Мы определяем гомотопические копределы через деформации функторов. Доказанная на Лекции 11 теорема о гомотопическй инвариантности реализации дает гомотопическую инвариантность гомотопических копределов по общей диаграмме.