History of tag 01A9
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2019-09-20 |
053fcae |
Fix definition homotopic maps simplicial objects
The definition as given before was not the standard one.
Luckily this change only affects stuff that happens in the chapter on
simplicial methods.
|
|
changed the proof
|
2013-08-03 |
d111c81 |
Spell check: words starting with d, e, f, g, D, E, F, or G
|
|
changed the statement and the proof
|
2013-03-01 |
848bd5b |
Constructing finite polynomial algebra simplicial resolutions
At first this seemed very awkward, but now it seems beautiful.
|
|
changed the proof
|
2011-08-11 |
aaf93e6 |
LaTeX: \Mor
Introduced a macro
\def\Mor{\mathop{\rm Mor}\nolimits}
and replaced all the occurences of \text{Mor} with \Mor.
|
|
assigned tag 01A9
|
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
|
|
moved the statement to file simplicial.tex
|
2008-11-02 |
951267c |
Moved all the stuff about simplicial objects into its own file.
|
|
changed the proof
|
2008-10-28 |
c78950e |
Intermediate save...
|
|
changed the proof
|
2008-10-24 |
56dec14 |
Switch back to desktop again
|
|
created statement with label lemma-homotopy in hypercovering.tex
|
2008-10-23 |
c45d6f3 |
More more more hypercoverings
|