Timeline for Animating cocartesian fibrations
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Oct 21 at 18:02 | history | bounty ended | CommunityBot | ||
| S Oct 21 at 18:02 | history | notice removed | CommunityBot | ||
| Oct 13 at 16:35 | comment | added | Gabriel | This terminology is explained in the first page of section 5.1.4 of Purity for Flat Cohomology by Cesnavicius and Scholze. | |
| S Oct 13 at 16:33 | history | bounty started | Gabriel | ||
| S Oct 13 at 16:33 | history | notice added | Gabriel | Draw attention | |
| Apr 28 at 14:48 | comment | added | Jonathan Beardsley | Yeah I agree. I know what "anima" means for sure. That's a straightforward terminology substitution. But there's a whole, like, renaming schema here, haha. | |
| Apr 28 at 9:23 | comment | added | David Roberts♦ | I think saying 'anima' for infinity-groupoids/homotopy types is borderline fair game, but the verb 'animate' here hides a lot of subtlety, so that's a bit too much. | |
| Apr 28 at 7:10 | comment | added | Nguyễn Xuân Bách | @JonathanBeardsley Thanks, I am going to add more context. | |
| Apr 28 at 7:03 | comment | added | Jonathan Beardsley | I think it would help if there were a little bit of context. There are a lot of people that know about this stuff, but they don't use the terminology "animated." You won't even tell us what conditions the categories need to satisfy to be "animated!" I'll try not to be cranky about new terminology, but it's not great when it gets hard to even communicate because people have completely abandoned the usual terms. | |
| Apr 28 at 5:19 | history | edited | David Roberts♦ |
edited tags
|
|
| Apr 28 at 5:19 | comment | added | David Roberts♦ | The animation of F is the induced functor between the infinity-categories of simplicial sheaves? | |
| S Apr 28 at 1:00 | review | First questions | |||
| Apr 28 at 3:25 | |||||
| S Apr 28 at 1:00 | history | asked | Nguyễn Xuân Bách | CC BY-SA 4.0 |