Timeline for Is there a Grothendieck correspondence for sheaves/stacks?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 20, 2021 at 0:51 | vote | accept | Emily | ||
| Mar 19, 2021 at 15:06 | comment | added | Mike Shulman | The same way it's defined for contravariant functors to Set. | |
| Mar 19, 2021 at 9:08 | answer | added | Bertram Arnold | timeline score: 4 | |
| Mar 19, 2021 at 3:32 | comment | added | Emily | @MikeShulman Thanks; this is very nice! How is the sheaf condition defined for discrete fibrations? | |
| Mar 19, 2021 at 3:31 | comment | added | Emily | @BertramArnold Thanks! I was looking exactly for a characterisation of the essential image :) | |
| Mar 19, 2021 at 0:59 | comment | added | Mike Shulman | "The discrete fibrations that are sheaves". (-: The sheaf condition can be expressed equally well on either side of the equivalence. | |
| Mar 18, 2021 at 23:05 | comment | added | Bertram Arnold | Not sure if this is the answer you're looking for, but the essential image of the Grothendieck construction in fibered categories can be described as those where "morphisms glue and descent data are effective", compare stacks.math.columbia.edu/tag/0268. | |
| Mar 18, 2021 at 21:04 | history | asked | Emily | CC BY-SA 4.0 |