Re: Term for edges between graph homomorphisms?