History of tag 09KM
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 09KM
|
2013-08-29 |
5f5bcfb
|
Tags: Added new tags
|
|
changed the proof
|
2013-08-29 |
b2cf4f9 |
Adjointness of tensor + hom and application
The application is that if you have a compact object K of
D(O) where O is a sheaf of rings on a ringed site, then
you get an embedding of D(E) into D(O) where E is the dga
of endomorphisms of K.
Still a bit rough here and there.
|
|
changed the label to lemma-property-P-K-projective
|
2013-08-28 |
1beea64 |
Correct way to compute RHom(N, -) in DGA setting
|
|
changed the statement and the proof
|
2013-08-28 |
1beea64 |
Correct way to compute RHom(N, -) in DGA setting
|
|
changed the statement and the proof
|
2013-08-27 |
fc339ac |
Restriction and base change
This is quite ugly at the moment.
|
|
created statement with label lemma-property-F-K-projective in dga.tex
|
2013-08-26 |
22e749f |
Good resolutions
Just wonderful.
|