Timeline for Evaluation functors and injective model structure on diagram categories
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 5, 2012 at 16:38 | comment | added | David White | By the way, you can get the projective model structure with a much less restrictive hypothesis than $M$ being combinatorial. You just need $M$ to be cofibrantly generated (and $C$ to be small, of course). For the injective model structure it seems combinatorial is needed, though I have sometimes wondered if you can get away with less. | |
| Mar 29, 2012 at 12:56 | vote | accept | The mathwalker | ||
| Mar 29, 2012 at 12:51 | vote | accept | The mathwalker | ||
| Mar 29, 2012 at 12:52 | |||||
| S Mar 29, 2012 at 12:51 | vote | accept | The mathwalker | ||
| Mar 29, 2012 at 12:51 | |||||
| S Mar 29, 2012 at 12:51 | vote | accept | The mathwalker | ||
| S Mar 29, 2012 at 12:51 | |||||
| Mar 29, 2012 at 12:51 | vote | accept | The mathwalker | ||
| S Mar 29, 2012 at 12:51 | |||||
| Mar 29, 2012 at 9:25 | answer | added | Karol Szumiło | timeline score: 2 | |
| Mar 29, 2012 at 9:07 | answer | added | Fabian Lenhardt | timeline score: 2 | |
| Mar 28, 2012 at 20:56 | comment | added | The mathwalker | Yes by $M^2$ I meant the arrow category. I used the notation $M^2=Hom(2, M)$ where $2$ is the interval category (or the preorder given by the ordinal $2$). | |
| Mar 28, 2012 at 20:53 | history | edited | The mathwalker | CC BY-SA 3.0 |
added 75 characters in body
|
| Mar 28, 2012 at 19:38 | comment | added | Fabian Lenhardt | Do you really want to end up in MxM? Evaluation at a morphism in C should end up in the diagrams of the form A -> B in M. You could evaluate at source and target, but then it seems to me you might as well ask the question with evaluation at a single object of C, and then the answer should be clear. | |
| Mar 28, 2012 at 19:25 | history | asked | The mathwalker | CC BY-SA 3.0 |