Timeline for When does the forgetful functor from algebras over a monad commute with homotopy geometric realizations?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 12, 2018 at 17:11 | answer | added | Dmitri Pavlov | timeline score: 2 | |
| Apr 16, 2018 at 9:21 | comment | added | Christian Wimmer | One thing to note is that an isomorphism of geometric realization does not imply anything about homotopy colimits yet because one needs reedy cofibrant diagrams (in algebras and underlying). | |
| Apr 10, 2018 at 13:00 | answer | added | donald yau | timeline score: 5 | |
| Apr 9, 2018 at 22:31 | comment | added | David White | A few years ago, I read a draft of a paper by Gutierrez, Rondigs, Spitzweck, and Ostvaer with a section related to your question. I believe the claim was that for any simplicial monoidal model category $M$, any admissible $C$-colored operad in $M$, and any simplicial object $A_\bullet$ from $Alg_O(M)$, then there is a natural iso $|U(A_\bullet)|_{M^C} \cong U(|A_\bullet|_{Alg_O(M)})$. Maybe you can write to Javier Gutierrez to ask about this. The draft never made it to arxiv, but I remember we checked the correctness of the relevant section. | |
| Apr 9, 2018 at 12:12 | history | asked | Hadrian Heine | CC BY-SA 3.0 |