Update cat_and_sheaves.tex