Empirical sets
category of sheaves of sheaves of abelian groups
scientific article; zbMATH DE number 763177