Lawvere-Tierney sheafification in Homotopy Type Theory
From MaRDI portal
Publication:5195281
DOI10.6092/issn.1972-5787/6232zbMath1454.03021OpenAlexW2580737173MaRDI QIDQ5195281
Kevin Quirin, Nicolas Tabareau
Publication date: 18 September 2019
Full work available at URL: https://hal.inria.fr/hal-01451710
Topoi (18B25) Mechanization of proofs and logical operations (03B35) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Type theory (03B38)
Related Items (1)
This page was built for publication: Lawvere-Tierney sheafification in Homotopy Type Theory
