cohomology: theory datatype