forgetful functor

English

Noun

forgetful functor (plural forgetful functors)

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

Synonyms

Translations