finite presentation morphism adjective

References