Timeline for abelian categories enriched over sheaves
Current License: CC BY-SA 2.5
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 14, 2010 at 22:12 | comment | added | Harry Gindi | Oh, alright, here's why! You have to use the "sheafy" hom functor. That is: $Hom_{\mathcal{O}_X-Mod}(F,-)$ is given as the right adjoint of the "sheafy" tensor product. Then $\mathcal{O}_X$ is projective over itself (in fact free of rank 1). | |
| Oct 14, 2010 at 8:29 | comment | added | Martin Brandenburg | 1) Sounds good. How is this category exactly defined? 2) No, we are considering module homomorphisms. | |
| Oct 14, 2010 at 1:46 | comment | added | Harry Gindi | Also, I'm pretty sure that $Hom(\mathcal{O}_S,-)$ is not the global sections functor. Shouldn't that actually be $Hom(-,\mathcal{O}_S)$? | |
| Oct 14, 2010 at 1:43 | comment | added | Harry Gindi | Martin, if you look at the category of all $\mathbb{A}^1_S$-modules in the big étale or fppf topos over $S$, does this possibly fix anything? | |
| Sep 16, 2010 at 0:36 | history | edited | Martin Brandenburg | CC BY-SA 2.5 |
added 351 characters in body
|
| Sep 15, 2010 at 18:06 | answer | added | Mike Shulman | timeline score: 4 | |
| Sep 15, 2010 at 14:33 | history | edited | Martin Brandenburg | CC BY-SA 2.5 |
added 76 characters in body
|
| Sep 13, 2010 at 10:53 | history | edited | Martin Brandenburg | CC BY-SA 2.5 |
added 3 characters in body
|
| Sep 13, 2010 at 0:10 | history | edited | Martin Brandenburg | CC BY-SA 2.5 |
added 1589 characters in body
|
| Sep 8, 2010 at 11:46 | history | edited | Martin Brandenburg | CC BY-SA 2.5 |
added 208 characters in body
|
| Sep 7, 2010 at 21:56 | history | edited | Martin Brandenburg | CC BY-SA 2.5 |
added 108 characters in body
|
| Sep 7, 2010 at 21:46 | history | asked | Martin Brandenburg | CC BY-SA 2.5 |