forgetful functor

noun1

1. •
   A functor that forgets or drops some or all of its input's structure or properties before mapping to the output.