Explanation of parameters in formulas
Invertibility from the internal perspective
Bibliography
Characterizing the support of sheaves of modules from the internal point of view
Possibility of restriction to opens of some basis
Cartier divisors from the internal perspective (some parts still missing)
to do