رسته هموتوپی از بافه های شبه منسجم تخت و هم تاب روی اسکیم های شبه فشرده و منفک

فرض کنید X اسکیمی منفک و شبه- فشرده و QcoX رستۀ همۀ بافه‌های شبه-منسجم روی X باشد. نشان خواهیم داد که رستۀ هموتوپی بافه‌های شبه- منسجم تخت و هم‌تاب از O_X - مدول‌ها، جایگزین طبیعی رستۀ هموتوپی O_X - مدول‌های شبه-منسجم تصویری است.برای این منظور ثابت میکنیم که هر همبافت تخت از بافه‌های شبه- منسجم و هم تاب از O_X- مدول‌ها، انقباض پذیر است