![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posichttps://arxiv.org/abs/2410.21244
Теперь моя и наша с Я.Ш. теоремы про гомотопически инъективные DG-комодули и гомотопически инъективные комплексы в категориях Гротендика доказаны в предположении слабого принципа Вопенки. Первоначально мы доказывали их в предположении полного принципа Вопенки. Слабый принцип Вопенки гораздо слабее (т.е., соответствующие большие кардиналы гораздо меньше, чем для полного принципа Вопенки), и теперь мы знаем, что их достаточно для наших теорем.
Ссылка на нашу теорему -- теорема 8.9 в статье "Derived, coderived, and contraderived categories of locally presentable abelian categories" -- https://arxiv.org/abs/2101.10797 . Релевантная для нас ссылка на результат из нового препринта Касакуберты и Гутиереса -- следствие 3.4 в их работе.
Теперь моя и наша с Я.Ш. теоремы про гомотопически инъективные DG-комодули и гомотопически инъективные комплексы в категориях Гротендика доказаны в предположении слабого принципа Вопенки. Первоначально мы доказывали их в предположении полного принципа Вопенки. Слабый принцип Вопенки гораздо слабее (т.е., соответствующие большие кардиналы гораздо меньше, чем для полного принципа Вопенки), и теперь мы знаем, что их достаточно для наших теорем.
Ссылка на нашу теорему -- теорема 8.9 в статье "Derived, coderived, and contraderived categories of locally presentable abelian categories" -- https://arxiv.org/abs/2101.10797 . Релевантная для нас ссылка на результат из нового препринта Касакуберты и Гутиереса -- следствие 3.4 в их работе.
