Definition, synonyms and related words
a functor that forgets or drops some or all of its input's structure or properties before mapping to the output