bio | website | |
---|---|---|
location | ||
age | ||
visits | member for | 3 years, 9 months |
seen | Jan 25 at 17:13 | |
stats | profile views | 14,375 |
Mar 21 |
awarded | Notable Question |
Feb 21 |
awarded | Good Question |
Jan 29 |
awarded | Good Answer |
Jan 25 |
answered | classifying $\infty$-toposes for topological/localic groups? |
Jan 13 |
awarded | Nice Answer |
Jan 13 |
answered | What are simplicial topological spaces intuitively? |
Jan 5 |
awarded | Notable Question |
Nov 6 |
comment |
Projective objects in HTT
What you describe works exactly the same way in the setting of quasi-categories: if C is a category which admits small colimits, then any cosimplicial object of C determines a pair of adjoint functors relating C to the quasicategory of simplicial spaces. If C is the quasi-category of spaces and your cosimplicial space is contractible in each degree, the resulting functor from simplicial spaces to spaces is given by taking the colimit. |
Nov 6 |
awarded | Nice Answer |
Nov 6 |
answered | Projective objects in HTT |
Nov 6 |
comment |
Can motivic E_∞-ring spectra be strictified to commutative motivic symmetric ring spectra?
The example that you cite is a mistake: the category of symmetric spectra is not freely powered in the sense of DAG III. While it is possible to prove strictification results in the setting of symmetric spectra, one cannot do so simply by applying the results of DAG III. |
Sep 6 |
awarded | Enlightened |
Sep 6 |
awarded | Nice Answer |
Sep 5 |
awarded | Great Answer |
Sep 5 |
answered | Is projective morphism with projective fiber flat? |
Sep 4 |
answered | Lower Algebra: Modules over the monoidal category of abelian groups |
Aug 29 |
answered | Is the category of group objects in an $(\infty,1)$-topos reflective as a subcategory of the groupoid objects? |
Aug 22 |
awarded | Enlightened |
Aug 22 |
awarded | Nice Answer |
Aug 21 |
comment |
Stabilization of $\infty$-categories versus SW stabilization
That's right. To put it differently: stabilization is for "big" $\infty$-categories, and $SW_{\Sigma}$ is for "small" $\infty$-categories; passage to $\infty$-categories of inductive limits intertwines the two constructions. The construction $SW_{\Sigma}$ is perhaps more concrete than stabilization because you can perform it at the level of homotopy categories: this is because passage from an $\infty$-category $\mathcal{C}$ to its homotopy category commutes with sequential direct limits, but not with sequential inverse limits. |