_Synthetic Cohomology in Homotopy Type Theory_, [[Evan Cavallo]], ## Links ## [PDF](http://www.cs.cmu.edu/~rwh/theses/cavallo.pdf)