added brian's part, reference to atiyah macdonald comm alg, and cat theory commands