Timeline for The Grothendieck plus construction for stacks of n-types
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 6, 2021 at 17:02 | comment | added | Mike Shulman | But that's not quite the same as applying the +-construction $n+2$ times to an $n$-presheaf. | |
| May 6, 2021 at 8:11 | comment | added | Konrad Waldorf | @Mike: you're right. But I think that this first step is rather easy: the Hom-categories are presheaves of categories and can be stackified in the usual (1-categorical) way. | |
| May 5, 2021 at 22:42 | comment | added | Mike Shulman | I don't see any discussion in this paper of the first step, producing a 2-prestack from a 2-presheaf. They describe the +-construction but the only theorem I see about it is that it takes 2-prestacks to 2-stacks. | |
| Nov 29, 2010 at 7:08 | history | answered | Konrad Waldorf | CC BY-SA 2.5 |