Ignore Autogenerated Makefile
New notation of induced_morphism