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