Timeline for Proof of derived tensor-hom adjunction
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 13, 2021 at 4:04 | vote | accept | rollover | ||
| Aug 12, 2021 at 15:50 | answer | added | Dmitri Pavlov | timeline score: 4 | |
| Aug 12, 2021 at 14:33 | review | Close votes | |||
| Aug 17, 2021 at 3:06 | |||||
| Aug 12, 2021 at 10:15 | comment | added | rollover | @MaximeRamzi I don’t believe I need a projective resolution of $L$ anyways, since the second argument of the Hom is injective. Still, you make an obviously good point. I’ll think about how this works out in my case. | |
| Aug 12, 2021 at 10:03 | comment | added | Maxime Ramzi | Why not resolve $L$ instead ? Like, take a projective resolution of $L$ (which is in particular left-$S$-flat), and leave $N$ as is - you'll need a projective resolution of $L$ anyways for the right hand side to be a $R\hom$ | |
| Aug 12, 2021 at 9:50 | history | asked | rollover | CC BY-SA 4.0 |