Timeline for Does formation of the derived $\infty$-category preserve pushouts?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 30, 2020 at 8:06 | vote | accept | Stahl | ||
| Aug 27, 2020 at 12:18 | answer | added | Dylan Wilson | timeline score: 14 | |
| Aug 27, 2020 at 11:48 | history | edited | Stahl | CC BY-SA 4.0 |
edited body
|
| Aug 27, 2020 at 11:37 | comment | added | Denis Nardin | The functor $A\mapsto\mathrm{Mod}_A(\mathrm{Sp})$ from $E_\infty$-rings to presentable symmetric monoidal $\infty$-categories commutes with all colimits, since it is left adjoint to the functor sending $\mathcal{C}$ to $\operatorname{End}_{\mathcal{C}}(1)$. The problem now is to find a reference for this "well-known" fact... | |
| Aug 27, 2020 at 10:28 | history | asked | Stahl | CC BY-SA 4.0 |