History of tag 04EL
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2011-08-13 |
4ea0b65 |
Whitespace changes
|
changed the statement
|
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.
|
changed the statement and the proof
|
2011-03-02 |
0239857 |
Exactness properties p_* where p is a point of a topos
|
assigned tag 04EL
|
2010-04-08 |
d88cf7f
|
Tags: added tags
|
created statement with label lemma-site-point-morphism in sites.tex
|
2010-04-08 |
6e11f13 |
Sites: Points
Hash out proof of points site <---> points topos
|