Skip to main content
Jacob Lurie's user avatar
Jacob Lurie's user avatar
Jacob Lurie's user avatar
Jacob Lurie
  • Member for 14 years, 5 months
  • Last seen more than 3 years ago
revised
Delooping and unreduced operads
deleted 29 characters in body
Loading…
answered
Loading…
awarded
awarded
awarded
awarded
awarded
awarded
awarded
awarded
awarded
comment
comment
compact objects in model categories and $(\infty,1)$-categories
The reverse implication seems a little trickier. One way to prove it is to first argue that it depends only on the Quillen equivalence class of $\mathcal{C}$ (in other words, only on the underlying $\infty$-category of $\mathcal{C}$). This lets you assume that $\mathcal{C}$ is a Bousfield localization of simplicial presheaves on some small simplicial category. From here it's not hard to reduce to the case where $\mathcal{C}$ is the category of simplicial sets, in which case the result is true for any uncountable $\kappa$.
comment
compact objects in model categories and $(\infty,1)$-categories
One direction is fairly straightforward: if $\mathcal{C}$ is combinatorial, then there exists a cardinal $\kappa$ such that weak equivalences in $\mathcal{C}$ are closed under $\kappa$-filtered colimits. Then $\kappa$-filtered colimits are also homotopy colimits, so the functor $F$ from $\mathcal{C}$ to its underlying $\infty$-category preserves $\kappa$-filtered colimits, and in particular is accessible. It then follows that $F$ preserves $\tau$-compact objects for $\tau$ sufficiently large.
Loading…
Loading…
awarded
comment
Relation between topos and $\infty$-topos
@Mike Or read "space" as "Kan complex".
awarded
comment
Relation between topos and $\infty$-topos
Yes, that's another way of describing it.
1
11 12
13
14 15
18