f:G->H 라는 함수가vertex를 vertex로,Edge는 edge로 일대일 대응시킨다고 생각하면f(ab)=f(a)f(b) in E(H)처럼 얼추 비슷하게 쓸 수 있어서 그런건가
굳이 연산이 아니어도 어떠한 구조를 가지고 있으면 다 isomorphism을 논할수있지
그야... 카테고리컬하게 보면..