RhymeZone: forgetful functor definitions

Definitions of forgetful functor:

noun: (category theory) a functor that forgets or drops some or all of its input's structure or properties before mapping to the output

(Definitions from Wiktionary)