图态射

graph morphism