Cohomology of congruence schemes

Modules for sesquiads and congruence schemes are introduced. It is shown that the corresponding categories are belian and that base change functors establish an ascent datum which allows for a cohomology theory to be established.