cohomology: work on dimension axiom