Adjunction for Garbage Collection with Application to Graph Rewriting