cohomology: weaken C0 axiom form; improve universe level setup