View of Lawvere-Tierney sheafification in Homotopy Type Theory

Return to Article Details Lawvere-Tierney sheafification in Homotopy Type Theory Download Download PDF