Timeline for How is topological André-Quillen homology (TAQ) a "stabilization", exactly?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 10, 2019 at 15:17 | vote | accept | Bruno Stonek | ||
| Nov 29, 2018 at 20:02 | comment | added | Yonatan Harpaz | Tensoring with $S^n$ is a form of homotopy colimit. The functor $B \wedge_A (-)$ from $A$-algebras to $B$-algebras preserves homotopy colimits and hence preserves tensoring with $S^n$. The same is also true if we consider $B \wedge_A (-)$ as a functor from $A$-algebras over $B$ to $B$-algebras over $B$, since colimits (or homotopy colimits) in over categories are computed in the ambient category. | |
| Nov 29, 2018 at 14:49 | comment | added | Bruno Stonek | Thank you for your answer! I'm confused by your last formula, $S^n\otimes_A B \simeq S^n \odot (B\wedge_A B)$, I don't see how it follows from what you wrote. | |
| Nov 28, 2018 at 20:10 | history | answered | Yonatan Harpaz | CC BY-SA 4.0 |