forgetful functor
English
[edit]
Noun
[edit]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
[edit]- (in category theory): stripping functor, underlying functor
Translations
[edit]category theory: a functor that forgets its inputs's structure
|