History of tag 00Y1
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2017-02-06 |
92b3f98 |
Add a lemma on hom sheaves in sites
Also, finally add a more detailed proof of a lemma on localization
|
changed the proof
|
2011-08-12 |
dd4090b |
LaTeX: Remove useless brackets
|
changed the statement and the proof
|
2011-08-11 |
f2e3127 |
LaTeX: \Sh
Introduced the macro
\def\Sh{\mathop{\textit{Sh}}\nolimits}
and replaced all occurences of \textit{Sh} with \Sh.
|
changed the statement
|
2011-08-11 |
4c15ebf |
LaTeX: \Ob
Introduced a macro
\def\Ob{\mathop{\rm Ob}\nolimits}
and replaced any occurence of \text{Ob}( with \Ob(. There are
still some occurences of \text{Ob} but these are sets, not the
operator that takes the set of objects of a category.
|
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 00Y1
|
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
|
changed the proof
|
2008-12-20 |
045fb13 |
Done with localization for now
modified: sites.tex
|
created statement with label lemma-essential-image-j-shriek in sites.tex
|
2008-12-20 |
b1ffb3d |
Added stuff about localization
modified: categories.tex
modified: sites.tex
|