Category Laws