forgetful functor

== English == === 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. ==== Synonyms ==== (in category theory): stripping functor, underlying functor ==== Translations ====