A site is a pair (C,J)(\mathcal{C}, J)(C,J) consisting of a category C\mathcal{C}C and a Grothendieck topology JJJ on C\mathcal{C}C.