Coarse graining via adjoint functors

Ooh, neat!! So more generally, this might be some sort of lax bifunctor.