The Monsky--Washnitzer topos

Abstract

Mimicking Ogus's construction, we define a site, for varieties over a field of char. p > 0, using Monsky--Washnitzer algebras/weak formal schemes. We prove a comparison theorem between the MW cohomology and a certain analytic cohomology.