History of tag 09LT
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2019-11-10 |
9acf7d2 |
Last edits to dga for now
|
|
changed the proof
|
2019-11-09 |
2b1aa30 |
More edits to dga
|
|
changed the statement
|
2019-11-09 |
8504e83 |
Define bimodules + use them consistently
Not quite done with this cleanup yet
|
|
changed the statement
|
2016-02-15 |
d093ff9 |
RHom is tensor functor in good cases in dga
More or less optimal, methinks
|
|
assigned tag 09LT
|
2013-08-29 |
5f5bcfb
|
Tags: Added new tags
|
|
created statement with label lemma-tensor-hom-adjoint in dga.tex
|
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.
|