History of tag 04AI
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2012-07-27 |
a2a6f6d |
More improvements to limits.tex
|
|
changed the proof
|
2012-05-18 |
3be1429 |
Limits and monomorphisms
|
|
changed the proof
|
2011-08-10 |
996a95d |
LaTeX: fix colim
Introduced the macro
\def\colim{\mathop{\rm colim}\nolimits}
and changed all the occurences of \text{colim} into \colim.
|
|
changed the proof
|
2011-08-10 |
23038ed |
LaTeX: fix lim
Replaced all the occurences of \text{lim} by \lim or
\lim\nolimits depending on whether the invocation occured in
display math or not.
|
|
changed the proof
|
2011-01-07 |
4813acb |
Limits and purity
(flat + pure) can be approximated by (flat + pure)
|
|
created statement with label lemma-descend-flat-finite-presentation in limits.tex
|
2010-03-01 |
bc8624b |
More Morphisms Spaces: Finish proof characterization finite presentation
Also add the chapter to the project, some fixes in scripts,
added tags, etc
|
|
assigned tag 04AI
|
2010-03-01 |
bc8624b
|
More Morphisms Spaces: Finish proof characterization finite presentation
Also add the chapter to the project, some fixes in scripts,
added tags, etc
|