changed notation

Hopefully this will be the last major notation change. All sheaves are
now calligraphic, and categories + sieves are \mathscr.