@Dedalus Stacks project has two candidates for morphism of sites, continuous functors and cocontinuous functors. The latter are covariant with the geometric morphism they induce, the former contravariant. It can't be a continuous functor of sites because it doesn't preserve products. It does seem to be cocontinuous but I think the associated morphism