History of tag 010A
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2017-07-06 |
ef31dda |
Small changes to homology
|
changed the proof
|
2017-07-02 |
3585495 |
homology.tex: fill in two more omitted proofs
Lemma \ref{lemma-abelian-opposite} (I hope I didn't miss any
subtleties here) and Lemma \ref{lemma-characterize-injective}.
Note that the latter still applies in any preadditive category
as long as we assume that Ker(f) resp Coker(f) exist.
Maybe it's worth generalizing it?
|
changed the statement
|
2010-09-14 |
b405743 |
Exercises on additive cats
Filtered vector spaces and torsion free modules.
|
assigned tag 010A
|
2009-05-16 |
fad2e12
|
Started tags infrastructure
new file: scripts/add_tags.py
modified: scripts/functions.py
new file: tags/initial_tags
new file: tags/tags
|
created statement with label lemma-abelian-opposite in homology.tex
|
2008-11-05 |
20d5e6e |
Added Dold-Kan for cosimplicial objects
|