History of tag 05T1
Go back to the tag's page.
type |
time |
link |
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.
|
assigned tag 05T1
|
2011-02-14 |
4f79f80
|
Tags: added new tags
|
created statement with label lemma-existence-computes in derived.tex
|
2011-02-08 |
7798522 |
Existence derived functor
Fun! Fun! Fun!
|