Timeline for Methods for defining/calculating homotopy limits of quasicategories
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 30, 2016 at 14:48 | comment | added | Kaya Arro | Thanks very much for the answer; this is the sort of thing I was looking for. I had been aware that Lurie used coCartesian fibrations to calculate limits within the quasicategory of quasicategories, but I did not think to apply the same approach to the actual category of quasicategories. Also, thanks for the clarifications about qCat2. I had thought there might be hope because results about adjunctions hold, but I'm going to give Riehl and Verity's joint work another read just so I know what's true and what's not about qCat2. | |
| Jun 30, 2016 at 14:37 | vote | accept | Kaya Arro | ||
| Jun 30, 2016 at 7:27 | comment | added | Denis Nardin | In case you are interested to the homotopy colimit of a diagram this is given by the fibrant replacement of the total category $\mathcal{C}^\natural$ in marked simplicial sets. Also, if it happens to be more convenient you can work with cartesian fibrations instead and the same theorems are true. | |
| Jun 30, 2016 at 7:10 | history | answered | Yonatan Harpaz | CC BY-SA 3.0 |