Timeline for What properties do the categories $\mathbf{GrpMod}$ and $\mathbf{GrpMod}^*$ of compatible pairs have? Can we do homological algebra with them?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 8, 2022 at 21:41 | history | edited | Lukas Heger | CC BY-SA 4.0 |
added 258 characters in body
|
| Dec 8, 2022 at 20:18 | history | undeleted | Lukas Heger | ||
| Dec 8, 2022 at 20:17 | history | deleted | Lukas Heger | via Vote | |
| Dec 7, 2022 at 16:28 | history | edited | Lukas Heger | CC BY-SA 4.0 |
added 1368 characters in body
|
| Dec 6, 2022 at 9:22 | comment | added | Z. M | I am skeptical about this axiomatization. I would expect that you also need some assumptions like each $f^*$ preserves sifted colimits, so that $f_!$ preserves compact projective objects, and maybe $f^*$ should also be conservative, so that $f_!$ carries a set of compact projective generators to a set of compact projective generators. The later conjecture is correct and should work in this generality (roughly, animation of a good biCartesian fibration is also a biCartesian fibration), but I do not have a reference for that. | |
| Dec 6, 2022 at 2:51 | history | edited | Lukas Heger | CC BY-SA 4.0 |
added 77 characters in body
|
| Dec 6, 2022 at 2:44 | history | answered | Lukas Heger | CC BY-SA 4.0 |