History of tag 0EV3
Go back to the tag's page.
| type |
time |
link |
|
changed the statement and the proof
|
2021-02-21 |
4ef12f0 |
Extending limit preserving sheaves
Generalities about extending limit preserving sheaves to larger
categories
|
|
assigned tag 0EV3
|
2018-08-27 |
0196c42
|
Tags: Added new tags
|
|
changed the statement
|
2018-08-22 |
2a02fb0 |
limit preserving + h sheaf = V sheaf
And here we see that a bunch of the work in the previous few commits is
only used to make a remark about how this all fits together. Sigh!
|
|
created statement with label lemma-extend-sheaf-h in flat.tex
|
2018-08-22 |
53a3cf7 |
Extend two lemmas to h topology
|