Timeline for Decomposing a $\mathcal{M}$-valued presheaf into a homotopy colimit of representables
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 6, 2022 at 15:52 | vote | accept | daniel gratzer | ||
| Dec 6, 2022 at 0:20 | answer | added | Dmitri Pavlov | timeline score: 2 | |
| Dec 5, 2022 at 13:24 | comment | added | Zhen Lin | I don’t. But you could have a look at Propositions 2.7.13 and 2.8.16 in these notes, which deals with the case of Kan complexes. (Pardon the idiosyncratic notation.) | |
| Dec 5, 2022 at 11:37 | comment | added | daniel gratzer | @ZhenLin do you happen to have a reference for homotopy coends and, in particular, the yoneda formula for them? | |
| Dec 4, 2022 at 15:45 | comment | added | Zhen Lin | There is the notion of homotopy coend, which is a certain kind of homotopy colimit, and there is also a Yoneda formula in this context. The Bousfield–Kan formula is a concrete construction of homotopy colimits (in certain contexts) and certainly could be used to construct homotopy coends. | |
| Dec 4, 2022 at 13:45 | history | asked | daniel gratzer | CC BY-SA 4.0 |