Graph-based Logic and Sketches