History of tag 00XM
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2017-04-11 |
6027715 |
Unimportant changes to improve LaTeX
|
changed the proof
|
2013-12-29 |
dc5ea71 |
Adjoint continuous functors of sites
Hopefully this makes the discussion of adjoint functors a bit clearer
here and there.
|
changed 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 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 00XM
|
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
|
2009-04-10 |
713944e |
More neurotic changes
|
created statement with label lemma-technical-pu in sites.tex
|
2009-01-13 |
41902d9 |
Switch to home
modified: sites.tex
modified: topologies.tex
|