Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification

First Page		Document Content
Date: 2015-07-02 06:06:44		Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification Add to Reading List Source URL: hott-uf.gforge.inria.fr Download Document from Source Website File Size: 334,00 KB Share Document on Facebook