Condensed Étale Cohomology — The ℰ_cond Topos Infrastructure

Abstract

The largest infrastructure paper: builds the condensed étale cohomology framework inside the condensed topos ℰ_cond, including the motivicGaloisDescent axiom (a shared crux of Track B sub-obstruction O2). 47 valid theorems at 2.4× target, 3 incomplete.