Authors: Bruno Kahn ; Hiroyasu Miyazaki ; Shuji Saito ; Takao Yamazaki
We develop a theory of sheaves and cohomology on the category of proper modulus pairs. This complements [KMSY21], where a theory of sheaves and cohomology on the category of non-proper modulus pairs has been developed.