posheaf sheaf sheafification schober subscheme subhypergroup subcomposition subhypergraph subitemset presheaf
of