Timeline for The "derived drift" is pretty unsatisfying and dangerous to category theory (or at least, to me)
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 1, 2018 at 23:41 | comment | added | guest | Many thanks for this insightful answer! | |
| Jan 1, 2018 at 18:29 | comment | added | მამუკა ჯიბლაძე | If you call this two cents you must be a very rich man :D | |
| Jan 1, 2018 at 16:56 | history | edited | Mike Shulman | CC BY-SA 3.0 |
refer to comments re: double oo-cats
|
| Jan 1, 2018 at 16:55 | comment | added | Mike Shulman | @MarcHoyois Thanks! Looks like there's still a need for a more comprehensive treatment, though. | |
| Dec 31, 2017 at 18:26 | comment | added | Marc Hoyois | An example is section 8 in arxiv.org/abs/1502.06526: E_d-algebras in a symmetric monoidal (∞,n)-category can be packaged in a double (∞,d)-by-(∞,n)-category. | |
| Dec 31, 2017 at 17:10 | comment | added | Mike Shulman | @RuneHaugseng Where have they been used? | |
| Dec 31, 2017 at 16:03 | comment | added | Rune Haugseng | Double $\infty$-categories are actually easy to define, say as simplicial $\infty$-categories satisfying the same Segal conditions as for Segal spaces, and have been used in a bunch of papers already. (Implicitly they appear already in Barwick's definition of $(\infty,n)$-categories as $n$-fold Segal spaces: for $n = 2$ this can be viewed as taking $(\infty,2)$-categories to be those double $\infty$-categories whose $\infty$-category of objects is an $\infty$-groupoid, and similarly for higher $n$.) | |
| S Dec 31, 2017 at 6:19 | history | answered | Mike Shulman | CC BY-SA 3.0 | |
| S Dec 31, 2017 at 6:19 | history | made wiki | Post Made Community Wiki by Mike Shulman |