Timeline for Are there (enough) injectives in condensed abelian groups?
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 4, 2022 at 22:05 | history | edited | Matthieu Romagny | CC BY-SA 4.0 |
"one can make do" --> "one can do"
|
| Feb 2, 2022 at 12:22 | answer | added | Peter Kropholler | timeline score: -2 | |
| May 19, 2020 at 16:26 | history | edited | Maxime Ramzi | CC BY-SA 4.0 |
edited body
|
| Apr 1, 2020 at 20:38 | comment | added | Peter Scholze | @Tim Campion: Pyknotic abelian groups are just $\kappa$-condensed abelian groups ($Sh(\ast_{\kappa-proet},\mathrm{Ab})$) for some choice of (strongly inaccessible) cardinal $\kappa$, so arguably Maxime Ranzi stated this right away in this question. | |
| Apr 1, 2020 at 15:45 | vote | accept | Maxime Ramzi | ||
| Apr 1, 2020 at 14:07 | comment | added | Maxime Ramzi | @TimCampion : I don't know a lot about those, but it seems from what I've heard that they just form the abelian group objects of a certain Grothendieck topos, in which case it's obvious, right ? (my intuition for the lack of injectives in condensed abelian groups is essentially that if you're coming from $\kappa$-condensed people, there's no way you're going to stay injective in the colimit, since the left Kan extension functors have no reason to preserve those ) | |
| Apr 1, 2020 at 14:05 | comment | added | Tim Campion | But just to emphasize, pyknotic abelian groups do have enough injectives (because they are the category of sheaves of abelian groups on a site). | |
| Apr 1, 2020 at 11:02 | answer | added | Peter Scholze | timeline score: 21 | |
| Mar 31, 2020 at 8:44 | history | edited | Peter McNamara | CC BY-SA 4.0 |
fixed link and removed question about tags
|
| Mar 31, 2020 at 8:06 | history | edited | Maxime Ramzi | CC BY-SA 4.0 |
added 457 characters in body
|
| Mar 31, 2020 at 8:04 | comment | added | Maxime Ramzi | @DavidRoberts : thanks ! | |
| Mar 31, 2020 at 7:37 | comment | added | David Roberts♦ | Made the tag. Suggest that if you know other questions that qualify you edit the tag in. | |
| Mar 31, 2020 at 7:36 | history | edited | David Roberts♦ |
edited tags
|
|
| S Feb 22, 2020 at 12:02 | history | bounty ended | CommunityBot | ||
| S Feb 22, 2020 at 12:02 | history | notice removed | CommunityBot | ||
| S Feb 14, 2020 at 10:47 | history | bounty started | Maxime Ramzi | ||
| S Feb 14, 2020 at 10:47 | history | notice added | Maxime Ramzi | Draw attention | |
| Feb 11, 2020 at 13:47 | history | asked | Maxime Ramzi | CC BY-SA 4.0 |