« first day (1880 days earlier)      last day (1523 days later) » 

skd
2:41 AM
@SaalHardali i don't see that immediately, sorry; can you sketch an argument?
 
 
3 hours later…
5:37 AM
@SaalHardali Oh, they are presentable all right. They might just not be generated under colimits by compact objects. The definition of presentability only requires that they be generated under colimits by $\kappa$-compact objects for some regular cardinal $\kappa$.
 
@Drew Let $L$ be a smashing localization. We show that the acyclics for some telescopic localization are acyclic for $L$. Suppose that $L(K(n)) \ne 0$ and $L(K(n+1)) = 0$. Let $X$ be a finite spectrum of type at least $n+1$ then for $m \le n$ we have $L(X) \otimes K(m) = L(K(m)) \otimes X = K(m) \otimes X = 0$ and for $m \gt n$ we have $L(X) \otimes K(m) = L(K(m)) \otimes X = 0 \otimes X = 0$ so we must have $X=0$.

We now show that the acyclics for $L$ are contained in the acyclics for some $L_n$ for some $n$ (where $L_n$ is $E(n)$-localization. Let $X$ be an $L$ acyclic spectrum. Then $0
Sorry @Drew made a mistake in tagging.
@skd
 
6:01 AM
@DenisNardin Of course, thanks for the correction. I'm still baffeled though that the telescopic conjecture is related to these delicate set theoretic issues. Its weird.
 
 
2 hours later…
7:43 AM
Is there an oo-categorical account on p-completion of spaces (and spectra)?
 
8:31 AM
@TomBachmann Thomas Nikolaus ran a course on rational and p-adic homotopy theory that occasionally delved into the $\infty$-categorical side of things. I don't know if it'll have what you want, but the notes are at uni-muenster.de/IVV5WS/WebHop/user/nikolaus/Papers/Padic.pdf
 
I'll check it out, thanks!
 

« first day (1880 days earlier)      last day (1523 days later) »