made some stylistic changes to cat-theory, added examples.tex, included that into the main body of annotations