A Grothendieck site is defined as a small category with certain structure. My question is: does it really have to be set-based? Are there notions of Grothendieck sites which are class-based? Would this cause trouble when considering the topos of sheaves?
Thank you in advance.