Grothendieck topology/Definition

Structure on a category C which makes the objects of C act like the open sets of a topological space.