# The Monsky--Washnitzer topos

## TL;DR

This paper constructs a new topos for varieties over fields of characteristic p using Monsky--Washnitzer algebras and proves a comparison theorem linking MW cohomology with analytic cohomology.

## Contribution

It introduces a novel topos framework for MW cohomology and establishes a comparison theorem with analytic cohomology, extending Ogus's construction.

## Key findings

- Defined a site using Monsky--Washnitzer algebras
- Proved a comparison theorem between MW and analytic cohomology
- Extended the framework of p-adic cohomology theories

## 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.