Lawvere-Tierney Sheafification in Homotopy Type Theory

Here is the draft of my PhD thesis (Last update 08/02/2017 @ 14:38)

Here is a list of errors generated by pdflatex