Timeline for Transporting model structures via adjunctions
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 1, 2012 at 16:28 | comment | added | Sasha | Downvote me if I am wrong, but it seems that I don't need $E$ to have "functorial path objects for fibrant objects" as written above, but just "path objects for fibrant objects" (all the rest the same). | |
| Mar 29, 2012 at 18:58 | comment | added | Mike Shulman | One useful criterion for (2) is that the right adjoint $G$ preserves (sufficiently highly) filtered colimits. | |
| Mar 29, 2012 at 18:56 | comment | added | Sasha | Ah, I am sorry. You mean that $E$, which we still do not know to be a model category, should be shown to have functorial factorization, in order not to check (3). | |
| Mar 29, 2012 at 16:54 | comment | added | Sasha | Thank you! So if I assume that my model categories come with functorial factorizations (triv cofib, fib) , (cofib, triv fib) I am OK with (3). What about (2), is there some easy general widely satisfied criterion for that? | |
| Mar 29, 2012 at 16:49 | vote | accept | Sasha | ||
| Mar 29, 2012 at 10:07 | history | answered | Ittay Weiss | CC BY-SA 3.0 |