Timeline for When can I compute the simplicial mapping space from a presheaf to a simplicial presheaf naively?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 31, 2017 at 9:08 | comment | added | Dmitri Pavlov | In my work I have encountered several situations that precisely match your description: the derived mapping space can be computed as the strict mapping space. However, in many cases this was the result of an indirect computation, i.e., I computed both the spaces and then discovered that they are equal. In some situations of this type it was convenient to bypass model structures at some stage and use other tricks (e.g., homotopy (co)limits etc.). | |
| Jul 10, 2014 at 16:58 | comment | added | David Carchedi | I am taking "Map" in the $\left(\infty,1\right)$-category $\mathbf{Fun}\left(\mathscr{C}^{op},\infty\mbox{-}\mathbf{Gpd}\right)$, or equivalently, I am taking the derived mapping space in (any of the equivalent) model category(ies). | |
| Jul 10, 2014 at 16:42 | comment | added | მამუკა ჯიბლაძე | In which category do you take Map? If just in simplicial presheaves, then I do not quite understand what do model structures have to do with it. If not, I do not understand precisely which universal property does characterize this Map. | |
| Jul 10, 2014 at 16:31 | history | asked | David Carchedi | CC BY-SA 3.0 |