Timeline for Localizations of model categories and $\infty$-categories
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 19, 2015 at 22:40 | comment | added | David White | I am not so sure that you can remove the requirement about being simplicial. This doesn't feel like the sort of situation where it's just a choice of framing. Rather, Lurie's nice adjunction you mention seems to need the simplicial hypothesis in a stronger way. I guess what I'm saying is: I'd love to see someone actually do that work to remove the simplicial hypothesis, because I think I'd learn something from it. | |
| Dec 9, 2014 at 19:13 | comment | added | Denis Nardin | I don't think that "presentable" is the translation of left proper, simplicial and cellular. Roughly speaking "presentable" is the translation of combinatorial. Left proper and simplicial are properties that in a certain sense you have for free for $\infty$-categories | |
| Dec 9, 2014 at 18:48 | comment | added | COhrt | Thank you! The main part of my question is rather if there is a theory of right localizations of $\infty$-categories, though. As part of this I want to understand that if left proper, simplicial, cellular translates to presentable, what does right proper, simplicial, cellular translate to? | |
| Dec 9, 2014 at 18:35 | history | answered | Dylan Wilson | CC BY-SA 3.0 |