Timeline for What's a (infinity-) semi-stack?
Current License: CC BY-SA 3.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Dec 25, 2017 at 11:42 | comment | added | David Roberts♦ | I don't know why people feel the need to use a new word (pile) for something that has been around for decades... | |
Dec 23, 2017 at 8:02 | history | edited | S. Carnahan♦ | CC BY-SA 3.0 |
Clarification
|
Dec 23, 2017 at 7:46 | history | edited | S. Carnahan♦ | CC BY-SA 3.0 |
Added notational suggestion.
|
Dec 22, 2017 at 16:12 | comment | added | David Ben-Zvi | Such a pile gives an ordinary stack, by looking at the maximal subgroupoid, together with an algebra object in self-spans, given by the Hom spaces. As such these things are fairly straightforward to capture in an $\infty$-setting --- e.g. the book of Gaitsgory-Rozenblyum discusses "stacky monoids" --Segal objects in derived stacks | |
Dec 22, 2017 at 16:10 | comment | added | David Ben-Zvi | Charles Rezk uses the suggestive term "pile" for a stack of categories such as you describe (in his case, elliptic curves with isogenies) | |
Dec 22, 2017 at 3:15 | history | answered | S. Carnahan♦ | CC BY-SA 3.0 |