homomorphism public under function 108 List Picture As a command %3 n0 homomorphism n2 endomorphism n0->n2 n3 graph-homomorphism n0->n3 n4 isomorphism n0->n4 n5 linear-map n0->n5 n1 function n1->n0