Grothendieck topology

noun1

1. •
   A structure on a category which makes the category's objects act like the open sets of a topological space.