new: Functor.v

rename: from [map] to [morphism]