Weil-étale cohomology/Definition

Theory used to construct l-adic cohomology in algebraic geometry.