unify morphisms and paths