6533b873fe1ef96bd12d595e
RESEARCH PRODUCT
The associated sheaf functor theorem in algebraic set theory
Nicola Gambinosubject
Sheaf cohomologyFunctorDirect image functorLogicInvertible sheafIdeal sheafAlgebraMathematics::LogicDerived algebraic geometryMathematics::Category TheorySheafAlgebraic set theory presheaves sheavesInverse image functorMathematicsdescription
We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves oil the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2008-11-01 |