Extending Grothendieck topologies to diagram categories and Serre functors on diagram schemes