Grothendieck topology
In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C {\displaystyle {\mathcal {C}}} that makes the objects of C {\displaystyle {\mathcal {C}}} act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site.