Use lem in categories.tex