Site (Sheaf)

A site $(\mathcal{C},J)$ is a category $\mathcal{C}$ equipped with a Grothendieck topology $J$.